c++ - VS2010 中 C++ lambda 表达式的奇怪错误(变量 y1)

Question

在我的几个项目中，以下代码:

#include <functional>

class SmallClass
{
public:
    int x1, y1;

    void TestFunc()
    {
        auto BadLambda = [&]()
        {
            int g = x1 + 1; //ok
            int h = y1 + 1; //c2296

            int l = static_cast<int>(y1); //c2440
        };

        int y1_copy = y1; //it works if you create a local copy
        auto GoodLambda = [&]()
        {
            int h = y1_copy + 1; //ok
            int l = this->y1 + 1; //ok
        };
    }
};

产生

error C2296: '+' : illegal, left operand has type 'double (__cdecl *)(double)'

或者替代地

error C2440: 'static_cast' : cannot convert from 'double (__cdecl *)(double)' to 'int'

你明白了。如果按值(value)捕获，也会发生这种情况。

错误似乎与成员名称“y1”有关。它发生在不同的类(class)、不同的项目中，并且(看似)y1 的任何类型；例如，这段代码:

[...]
MyClass y1;

void TestFunc()
{
    auto BadLambda = [&]()->void
    {
        int l = static_cast<int>(y1); //c2440
    };
}

生成这两个错误:

error C2440: 'static_cast' : cannot convert from 'MyClass' to 'int' No user-defined-conversion operator available that can perform this conversion, or the operator cannot be called

error C2440: 'static_cast' : cannot convert from 'double (__cdecl *)(double)' to 'int' There is no context in which this conversion is possible

它似乎链接到“功能”库。它发生在(在我的机器上)一个只包含“功能”的最小项目中(是的，它应该在括号之间，但我在 HTML 上失败了)。

这似乎不是一个已知的错误，我很茫然。关于为什么会发生这种情况的任何想法？ (我不需要解决方法；代码中已经有一些)。

编辑:它确实与 math.h 中的函数相关:


_CRT_NONSTDC_DEPRECATE(_cabs) _CRTIMP double __cdecl cabs(<em>In</em> struct _complex _X);
_CRT_NONSTDC_DEPRECATE(_j0) _CRTIMP double __cdecl j0(<em>In</em> double _X);
_CRT_NONSTDC_DEPRECATE(_j1) _CRTIMP double __cdecl j1(<em>In</em> double _X);
_CRT_NONSTDC_DEPRECATE(_jn) _CRTIMP double __cdecl jn(<em>In</em> int _X, <em>In</em> double _Y);
_CRT_NONSTDC_DEPRECATE(_y0) _CRTIMP double __cdecl y0(<em>In</em> double _X);
_CRT_NONSTDC_DEPRECATE(_y1) _CRTIMP double __cdecl y1(<em>In</em> double _X);
_CRT_NONSTDC_DEPRECATE(_yn) _CRTIMP double __cdecl yn(<em>In</em> int _X, <em>In</em> double _Y);


使用这些函数名称中的任何一个都会触发错误。当包含 math.h、cmath 或函数时会发生这种情况。也许有人知道这些名称是如何进入我的 lambda 表达式范围的？

编辑:已解决。这是 VS2010(可能还有其他较旧的编译器)中的 lambda 名称解析问题。如果您定义全局名称或使用“using namespace x”，请避免在 lambda 中使用非限定名称。

使用 Visual Studio 2010 Express 版本 10.0.40219.1 SP1Rel。

Answer 1

y1的使用与 y1 冲突在<cmath> (第二类贝塞尔函数，1 阶)。这就是为什么 std::命名空间是一件好事 (sm) 以及为什么不应该用 using namespace std; 来规避它. (虽然 using std::string 很好，恕我直言。)当然，并非所有 C++ cmath header 正确地将所有名称仅放在命名空间 std 中，但他们应该；数学库中的短名称太多。

C++名称解析规则很复杂，我不假装了解所有的小灰尘角落。很可能在 lambda 中查找非限定名称的方式与在成员函数的实际主体中查找非限定名称的方式完全不同。在成员函数之外，非限定名称只能引用已经声明的类成员。 (虽然 this->y1 不是不合格的名称。)

---

编辑:事实证明这是 VC10 中的一个错误，它在 lambda 中应用了不正确的名称解析规则。已报告 lambda 表达式中的名称解析错误 several times但是这些错误在 VC12 中被标记为已修复(话虽如此，我不知道如何找到未标记为已修复的错误报告)。我支持下面的建议，尽管关于使用显式 this-> 的建议可能更有争议，但我已经被意想不到的名称查找烧伤了几次，显式限定可以提供帮助。

---

总的来说，我的建议是:

1) 切勿使用 using namespace std;和

2) 始终使用 this->如果那是你的意思。 (或者，至少，对类数据成员使用结尾的 _ 约定。)

---

编辑 std 的使用C 库头文件命名空间。

17.6.1.2(4): In the C++ standard library, however, the declarations (except for names which are defined as macros in C) are within namespace scope (3.3.6) of the namespace std. It is unspecified whether these names are first declared within the global namespace scope and are then injected into namespace std by explicit using-declarations (7.3.3).

换句话说，名称​​必须在std::中并且可能在全局命名空间中。所以使用 std::始终没有伤害。它可能无济于事，但它也可能会保护您免受某些未将这些名称注入(inject)全局命名空间的 future 标准库的影响。