Question

以下是我最近在VS2012中编写的一些代码：

    ///<summary>Lambda: Returns true if the field is significant within a baseline context</summary>
    const auto IsSignificantBaselineField = [](const field_info & field)->bool
    {
        //Some lines removed here!
        return something;
    };

    ///<summary>Lambda: Returns true if the field is significant within a project context</summary>
    const auto IsSignificantProjectField = [&IsSignificantBaselineField](const field_info & field)->bool
    {
        if (!IsSignificantBaselineField (field))
            return false;

        //Some lines removed here!
        return something_else;
    };

    return std::any_of (modified_fields.begin (), modified_fields.end (), (proj_id == 0) ? IsSignificantProjectField : IsSignificantBaselineField);

奇怪的是，当'proj_id = 90000'时，std :: any_of正在调用IsSignificantProjectField，而我的意图是在这种情况下将调用IsSignificantBaselineField。

任何人都可以解释我逻辑中的错误吗？

Answer 1

所以这就是我的猜测为什么代码会编译并显示你观察到的行为。

lambdas都被编译器转换为结构。

一个没有捕获，因此没有成员和无参数构造函数。

struct IsSignificantBaselineField_Lambda {
  bool operator ()(const field_info & field) { ... }
};

另一个有一个捕获，转换为一个成员和一个单arg构造函数。

struct IsSignificantProjectField_Lambda {
  IsSignificantProjectField_Lambda(IsSignificantBaselineField_Lambda& capture1)
    : m_capture1(capture1) {}
  bool operator ()(const field_info & field) {
    if (!m_capture1(field)) return false;
    ...
  }
private:
  IsSignificantBaselineField_Lambda& m_capture1;
};

我敢打赌，编译器的转换不会使构造函数explicit成为转换构造函数，这意味着IsSignificantBaselineField可以转换为IsSignificantProjectField，因此IsSignificantProjectField是两者的通用类型。所以这个电话相当于：

return std::any_of (modified_fields.begin (), modified_fields.end (),
    (proj_id == 0) ? IsSignificantProjectField :
                     IsSignificantProjectField_Lambda(IsSignificantBaselineField));

净效果是两个分支都做同样的事情。

这当然是一个编译器错误。

在lambda上使用条件运算符调用std :: any_of会产生意外结果

1 个答案: