用于检测函数是否存在的C++元函数的问题

我有一个不理解的C++元函数的问题。我正在使用 C++14 编译 Apple 的 clang 8.1.0 版本。说明该问题的工作代码如下。

我已经从其他地方抄了一个元函数，我正在尝试使用它。它旨在检测名为"bananify"的函数，这些函数具有传递给元函数的类型参数。你称之为...

BananifyDetector<int>::value 

如果它可以看到表单的声明函数，则应该返回 true...

bananify(int)

问题在于，只有当正在搜索的函数是在BananifyFinder的模板定义之前声明的，而不是实例化它时，它才有效。所以在我的示例代码中，我本来期望两者，

BananifyFinder<int>
BananifyFinder<std::string> 

我下面的代码成功了，但由于定义了bananify(std：：string(的位置，它失败了。

这很令人沮丧，因为如果我将函数检测器放在头文件中，我必须在客户端代码中包含顺序感知，这是一个深刻的痛苦，在某些情况下可能不可能正确处理。

我不确定这里发生了什么。这是一个C++功能，一个叮当中的错误还是我做过的事情？

任何帮助表示赞赏。

#include <iostream>
#include <type_traits>   
////////////////////////////////////////////////////////////////////////////////
// A bananify function to be detected
// This is successfully found.
double bananify(int)
{
return 0.0;
}
/// A meta function that detects if a single argument function named 'bananify'
/// exists with takes an argument of the type passed to the metafunction.
///
/// Note, automatic casts will get in the way occasionally so if function
/// bananify(float) exists, a BananifyFinder<int>::value will return true.
template<class ARG1>
class BananifyFinder {
private :
template<typename ...> using VoidT_ = void;
template<typename A1, typename = void>
struct Test_ : std::false_type
{
typedef void returnType;
};
template<typename A1>
struct Test_<A1, VoidT_<decltype(bananify(std::declval<A1>()))>> : std::true_type
{
typedef decltype(bananify(std::declval<A1>())) returnType;
};
public :
typedef typename Test_<ARG1>::returnType returnType;
constexpr static bool value = Test_<ARG1>::value;
};
////////////////////////////////////////////////////////////////////////////////
// A bananify function to be detected that takes std::strings
// This fails to be found, but if we move it before the declaration of BananifyFinder it
// will be found;
std::string bananify(std::string)
{
return "s";
}
// dummy class with no bananify function to be found
class Nothing{};
// check the results of the metafunction 'T'
template<class T>
void CheckBanana(const std::string &str)
{
using DetectedType = BananifyFinder<T>;
std::cout << str << " detected is " << DetectedType::value << std::endl;
std::cout << str << " returns is " << typeid(typename DetectedType::returnType).name() << std::endl << std::endl;
}
////////////////////////////////////////////////////////////////////////////////
int main(int argc, char *argv[])
{
// this should print "BananifyFinder<int> 1 d"
CheckBanana<int>("BananifyFinder<int> ");
// this should print "BananifyFinder<std::string>  1 NSt3__112basic_stringIcNS_11char_traitsIcEENS_9allocatorIcEEEE"
// but it prints "BananifyFinder<std::string>  0 v"
// FAILS
CheckBanana<std::string>("BananifyFinder<std::string> ");
// this should print "BananifyFinder<Nothing>  0 v"
CheckBanana<Nothing>("BananifyFinder<Nothing> ");
}