Clang 3.5：使用 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 是 "Substitution Failure Is Not An Error" 的缩写。这意味着，您必须：

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

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

如果没有您要查找的此类过载，结果相同。你可以在代码中，或者在测试点更改SomeMethod的参数，你就会看到。

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

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

和你原来的代码有同样的问题。对于成员检测，这是有效的，因为 C::SomeMethod 取决于模板参数。

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

但是如果你有一个没有参数的 void 方法，我敢肯定你不会找到一个标准的方法来做到这一点 - 你找不到任何有效的类型规范同时包含你的类型和那个方法.

Clang 特定

如果您只想要 Clang 特定检查，有 Clang specific extensions

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

Clang 3.5：使用 SFINAE 检测不存在的全局函数

Clang 3.5: Detecting a gobal function doesn't exist using SFINAE

c++

clang

sfinae

Clang 特定