The indicator function of the Cantor set is Riemann integrable. Like you said, though, the Dirichlet function (which is the indicator function of the rationals) is not Riemann integrable.
The reason is because the Dirchlet function is discontinuous everywhere on [0,1], so the set of discontinuities has measure 1. The Cantor function is discontinuous only on the Cantor set.
Likewise, the indicator function of a "fat Cantor set" (a way of constructing a Cantor-like set w/ positive measure) is not Riemann integrable: https://en.wikipedia.org/wiki/Smith%E2%80%93Volterra%E2%80%9...