如何检查模板类方法的返回类型?

时间:2017-11-25 15:09:59

标签: c++ c++11 c++14

我尝试检查作为模板参数给出的类的方法getGG()的Class2返回值类型,但我的代码没有编译。怎么做得好?

template <class T, class U>
struct hasProperMethodReturnValueType {
    static constexpr bool value = std::is_same<T, std::decltype(U.getGG())>;
};

template<class P> class Class1 {
private:
    P gg;
public: 
    Class1(P a) : gg(a) {} 
    P getGG() {
        return gg;
    }   
};

template<class A, class P> class Class3 {
private:
    P gg;
    A dd;
public: 
    Class3(P a, A r) : gg(a), dd(r) {} 
    P getGG() {
        return gg;
    }   
};

template<class G, class R> class Class2 {
    static_assert(hasProperMethodReturnValueType<G, R>::value, "Not same type");
private:
    R cc;
public:
    Class2(R r) : cc(r) {};
};

int main() {
    auto obj  = Class2<int, Class1<int> >(Class1<int>(3));
    auto obj2  = Class2<int, Class3<float, int> >(Class3<float, int>(0, 1.1));
    return 0;
}

编译错误:

error: template argument 2 is invalid
  static constexpr bool value = std::is_same<T, std::decltype(U.getGG())>;

1 个答案:

答案 0 :(得分:1)

std::decltype(U.getGG())中,U是一种类型,而getGG是一种成员函数。 U.getGG()只是无效的语法 - 您需要“创建”U的实例来调用成员函数 - std::declval是一个在未评估的上下文中为您执行此操作的实用程序。另外std::decltype不存在 - decltype是关键字。

decltype(std::declval<U>().getGG())