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

Question

我尝试检查作为模板参数给出的类的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())>;

Answer 1

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

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

Answer 2

使用std::declval 。

template <class T, class U>
struct hasProperMethodReturnValueType
  : std::is_same<T, decltype(std::declval<U>().getGG())>
{};

https://wandbox.org/permlink/iWUCOyssN3sVo2yH