c++ - clang 3.5 : Detecting a gobal function doesn't exist using SFINAE

Question

所以我有以下一段代码，在 VS2012 下可以完美运行。它检测是否存在全局函数“Bar”。

遗憾的是，这无法在 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 是“替换失败不是错误”的缩写。这意味着，您必须:

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

我的示例通过向主题函数提供模板化参数来解决后者 - 如果没有这样的函数，则无法替换它，这是有效的。

如果没有您要查找的此类过载，结果相同。您可以在代码中或在测试点更改 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) 宏来检查给定的标识符是否存在。它可能是一个变量、一个函数或任何东西，但在这个 block 中，您可以使用 SFINAE 来确定它的类型。