Этот код не компилируется в Clang (6,7,8,9, транк), но прекрасно компилируется в G CC (7.1, 8.1, 9.1):
template<class T> struct TypeHolder { using type = T; };
template<int i>
class Outer {
private:
template<class T>
static constexpr auto compute_type() {
if constexpr (i == 42) {
return TypeHolder<bool>{};
} else {
return TypeHolder<T>{};
}
}
public:
template<class T>
using TheType = typename decltype(Outer<i>::compute_type<T>())::type;
};
int main() {
Outer<42>::TheType<int> i;
}
Clang сообщает я:
<source>:17:49: error: 'compute_type' is a private member of 'Outer<42>'
… что это, конечно, но я пытаюсь получить доступ к этому члену из внутри того же класса. Я не понимаю, почему это не должно быть доступно там. Я нажал (и должен ли я подать) ошибку Clang?
Вы можете поиграть с кодом в Исследователь компилятора Годболта .