Недавно я играл с CRTP, когда сталкивался с чем-то, что меня удивляло при использовании с С++ 1y-функциями, тип которых выведен. Работает следующий код:
template<typename Derived>
struct Base
{
auto foo()
{
return static_cast<Derived*>(this)->foo_impl();
}
};
struct Derived:
public Base<Derived>
{
auto foo_impl()
-> int
{
return 0;
}
};
int main()
{
Derived b;
int i = b.foo();
(void)i;
}
Я предположил, что возвращаемый тип из Base<Derived>::foo
был decltype
возвращаемого выражения, но если я изменяю functio foo
следующим образом:
auto foo()
-> decltype(static_cast<Derived*>(this)->foo_impl())
{
return static_cast<Derived*>(this)->foo_impl();
}
Этот код больше не работает, я получаю следующую ошибку (из GCC 4.8.1):
||In instantiation of 'struct Base<Derived>':|
|required from here|
|error: invalid static_cast from type 'Base<Derived>* const' to type 'Derived*'|
||In function 'int main()':|
|error: 'struct Derived' has no member named 'foo'|
Мои вопросы: почему это не работает? Что я мог бы написать, чтобы получить правильный тип возврата, не полагаясь на автоматический вывод типа возврата?
И, ну... вот живой пример.