c++ - 延迟crtp基类中的成员函数实例化

Question

目前，我有一个 CRTP 基类，它利用特征类来确定其成员函数的返回类型。我一直在玩弄 C++11 并具有以下代码，它消除了对 traits 类的需要，但需要默认函数模板参数。有什么方法可以修改它以在不支持 C++11 的该功能的 visual studio 2012 中工作？

#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';
}

Answer 1

你可以简单地使用

decltype(declval<T>()->foo_impl())

作为延迟返回类型。