В настоящее время у меня есть базовый класс CRTP, который использует класс признаков для определения возвращаемого типа его функций-членов. Я играл с С++ 11 и получил следующий код, который устраняет необходимость в классе признаков, но требует параметров шаблона функции по умолчанию. Есть ли способ изменить это для работы в Visual Studio 2012, которая не поддерживает эту функцию С++ 11?
#include <iostream>
using namespace std;
template<typename T, typename Ignore>
struct ignore { typedef T type; };
template<typename T>
struct A
{
template<class IgnoredParam = void>
auto foo() -> decltype(declval<typename ignore<T*, IgnoredParam>::type >()->foo_impl())
{
return static_cast<T*>(this)->foo_impl();
}
};
struct B : public A<B>
{
int foo_impl() { return 0;}
};
int main()
{
B b;
int i = b.foo();
cout << i << '\n';
}