decltype 和静态模板方法

Question

在尝试使用 SFINAE 时，以下代码编译失败：

template<typename ObjectType, typename GroupA, typename GroupB, typename = void>
struct DelegateImpl; // default version

template<typename ObjectType, typename GroupA, typename GroupB>
struct DelegateImpl<ObjectType, GroupA, GroupB, decltype(GroupA::get<ObjectType>())>; // specialization

使用 GCC：

错误：模板参数 4 无效

使用 MSVC，一个惊人的帮助：

错误 C3553：decltype 需要一个表达式而不是类型

如果表达式 GroupA::get<ObjectType>() 有效，我的目标是让编译器选择特化。

问题：如何将 decltype 与静态模板方法一起使用？

Answer 1

实际上这两个编译器都没有给出有用的错误。真正的问题是您在get 之前缺少template 关键字：

template get<ObjectType>()

参见Dependent Namescppreference 的页面