Question

所以我有以下代码在VS2012下完美运行。它检测是否具有全局功能＆＃39; Bar＆＃39;存在。

遗憾的是，无法使用此错误在clang 3.5下编译：

error : use of undeclared identifier 'Bar'
  template <typename T> static int Foo( decltype( Bar )* ) { return 2; }            
                                                  ^

clang是否支持这种事情，如果是这样，那么正确的语法是什么？

由于

template <typename T> static int Foo( decltype( Bar )* ) { return 2; }      
template <typename T> static int Foo(...) { return 1; } 

void main()
{
    printf("%d", Foo<int>(nullptr));
}

Answer 1

如果你知道你正在寻找的功能的确切签名，可以用SFINAE解决（用clang 3.6和gcc 4.9测试）：

#include <stdio.h>

int SomeMethod(double d) {
        // nop
        return 0;
}

struct HasSomeMethod {
        typedef char no[2];

        template <typename C>
        static auto test(C c) -> decltype(SomeMethod(c));
        //static auto test(C c) -> decltype(SomeOtherMethod(c));

        template <typename>
        static no& test(...);

        static const bool value = sizeof(test<double>(1.0)) == sizeof(int);
};

int main()
{
    printf("%d\n", HasSomeMethod::value);
}

如果将测试方法切换为注释版本，则输出1和0。

它适用于任何全局方法，只要它至少有一个参数可以提取到模板参数。

SFINAE是＆＃34;替换失败不是错误＆＃34;的缩写。这意味着，你必须：

使用将由编译器替换的模板参数
您的主题必须以某种方式依赖于此模板参数

我的例子通过为主题函数提供模板化参数来解决后者 - 如果没有这样的函数，它就不能被替换，这是有效的。

如果您没有找到这样的超载，那么结果相同。您可以在代码中或在测试点更改SomeMethod的参数，然后您将看到。

不幸的是，对于使用type_traits的情况，类似的技巧是不可能的。例如，以下方法：

template<typename C>
static auto test(C c) -> typename std::is_same<decltype(SomeXXMethod()), decltype(c)>::type

与原始代码存在同样的问题。对于成员检测，这可行，因为C::SomeMethod取决于模板参数。

由于这个要求，可能会检查一个没有参数但是非void返回类型的方法，但我现在不知道如何。

但是如果你有一个没有参数的void方法，我确定你找不到标准的方法 - 你找不到任何有效类型和类型的有效类型规范。其中的方法。

Clang具体

如果您只想要一个特定的Clang检查，则有Clang specific extensions

例如，您可以使用#if __is_identifier(SomeMethod)宏来检查给定的标识符是否存在。它可能是变量，函数或任何东西，但在此块中，您可以使用SFINAE来确定它的类型。

Clang 3.5：使用SFINAE检测全局功能并不存在

1 个答案:

Clang具体