转发声明使用enable_if的函数：不明确的调用

Question

我在声明使用 boost 的函数时遇到一些麻烦： :enable_if：下面的代码给我一个编译器错误：

// Declaration
template <typename T>
void foo(T t);

// Definition
template <typename T>
typename boost::enable_if<boost::is_same<T, int> >::type foo(T t)
{
}

int main()
{
    foo(12);
    return 0;
}

编译时，我收到“对 foo 的模糊调用”错误。根据enable_if的定义，当条件为真时，'type'typedef对应于void，所以据我所知，的两个签名foo 匹配。为什么编译器认为它们不同，是否有正确的方法来转发声明 foo （最好不重复 enable_if 部分）？

Answer 1

这不仅仅是enable_if的问题。使用以下代码在 Visual Studio 和 gcc 上遇到相同的错误：

struct TypeVoid {
  typedef void type;
};

template<typename T>
void f();

template<typename T>
typename T::type f() {
}

int main()
{
  f<TypeVoid>();
  return 0;
}

我认为主要问题是返回类型（实例化之前）是模板函数签名的一部分。 此处提供了更多信息。

关于您的代码，如果声明引用定义，则应将两者匹配：

// Declaration       
template <typename T>       
typename boost::enable_if<boost::is_same<T, int> >::type foo(T t);       

// Definition       
template <typename T>       
typename boost::enable_if<boost::is_same<T, int> >::type foo(T t)       
{       
}

如果声明引用不同的函数，则编译器将永远无法为 int 选择正确的函数，因为它们两者都有效。但是，您可以使用 disable_if 禁用 int 的第一个：

// Other function declaration
template <typename T>
typename boost::disable_if<boost::is_same<T, int> >::type foo(T t);

// Defition
template <typename T>       
typename boost::enable_if<boost::is_same<T, int> >::type foo(T t)       
{       
}

Answer 2

问题是声明和定义不匹配。

解决方案是声明应包含完全相同的签名和 enable_if 位。

#include <boost/type_traits/is_same.hpp>
#include <boost/utility/enable_if.hpp>

// Declaration
template <typename T>
typename boost::enable_if<boost::is_same<T, int> >::type foo(T t);

// Definition
template <typename T>
typename boost::enable_if<boost::is_same<T, int> >::type foo(T t)
{
}

int main()
{
    foo(12);
    return 0;
}

这在 VC2008 上编译得很好。