为什么在一行中使用这个 C++ 函数两次会导致编译错误？

我在尝试在 Visual C++ 2010 中实现智能相等测试宏类型模板函数时遇到了一些麻烦，该函数与VS 中关于模板函数默认参数的错误 https://stackoverflow.com/questions/10343177/why-do-i-get-an-illegal-token-compile-time-error-with-this-piece-of-c-code。我通过将参数的值包装在一个额外的函数中来修复它，但现在我发现我不能在一行中使用该函数两次！

头文件：

// example.h
#pragma once

#include <limits>

namespace myspace
{

// Need to define this separately to avoid a Visual Studio bug
template<typename T> T epsilon() { return std::numeric_limits<T>::epsilon(); }

// A generic equality test
template<typename T> inline bool smartEqual(
    const T &v1, 
    const T &v2, 
    const T &eps = epsilon<T>())
{
    return (v1 == v2);
}

// Template specialization for floating-point numbers
template<> bool smartEqual<float>(
    const float &v1, 
    const float &v2, 
    const float &eps);

} // namespace myspace

源文件：

// example.cpp
#include "example.h"

using namespace std;
using namespace myspace;

// equal-macro specialization for floats using epsilon
template<> bool myspace::smartEqual<float>(
    const float &v1, 
    const float &v2, 
    const float &eps)
{
    return (fabs(v1 - v2) < eps);
}

int _tmain(int argc, _TCHAR* argv[])
{
    float a,b;
    bool x = smartEqual(a,b); // works ok
    bool x = smartEqual(a,b) && smartEqual(b,a); // error
    return 0;
}

报错如下：

------ 构建开始：项目：测试，配置：调试 Win32 ------
测试.cpp
c:\users\ninja\documents\visual studio 2010\projects\test\test\test.cpp(24): 错误 C2440: '默认参数' : 无法从 'const float *' 转换为 'const float &'
原因：无法从“const float *”转换为“const float”
不存在可以进行此转换的上下文

有问题的行是我尝试使用逻辑 AND 调用 smartEqual() 两次的行。

我不明白为什么会发生这种情况。将“eps”从引用类型更改为简单的值类型可以解决此问题，但我希望我知道发生了什么。

Thanks!

我想你现在已经击中了这个 VS10 的错误 https://connect.microsoft.com/VisualStudio/feedback/details/718578/c-reference-default-argument-falsely-converted-to-pointer-on-instantiation-of-more-than-2-explicit-specializations.

您的代码在 VS11 Beta 上编译正常。

您可以通过更改来避免默认值（这似乎是 VS10 的一个主要问题）smartEqual to:

template<typename T> inline bool smartEqual(
    const T &v1, 
    const T &v2)
{
    return (v1 == v2);
}

并简单地专门用于浮点（和双精度），如下所示：

template<> bool myspace::smartEqual<float>(
    const float &v1, 
    const float &v2)
{
    return (fabs(v1 - v2) < std::numeric_limits<float>::epsilon());
}

另一种选择是将 epsilon 参数更改为按值传递：

template<typename T> inline bool smartEqual(
    const T &v1, 
    const T &v2, 
    T eps = epsilon<T>())
{
    return (v1 == v2);
}