在构造函数参数列表中构造 boost::function 对象时出现错误 C2228

Question

下面的代码无法在 Visual C++ 2005 中编译。

class SomeClass {
public: boost::function<void()> func;
        SomeClass(boost::function<void()> &func): func(func) { }
};

void someFunc() {
    std::cout << "someFunc" << std::endl;
}

int main() {
    SomeClass sc(boost::function<void()>(&someFunc));
    sc.func(); // error C2228: left of '.func' must have class/struct/union
    return 0;
}

如果我在 SomeClass 构造函数的参数两边加上括号，或者在参数列表之外构造 boost::function 对象，则它可以正常编译。

    SomeClass sc((boost::function<void()>(&someFunc)));
    // or
    boost::function<void()> f(&someFunc);
    SomeClass sc(f);

前面的代码有什么问题？

Answer 1

它是一个函数的函数声明，该函数引用 boost:function 并返回 SomeClass。 您可以记住以下规则，该规则适用于许多其他此类消歧案例。 您可以在 C++ 标准的 8.2 部分中找到这些情况的描述。

任何可能是声明的构造都将被视为声明

这意味着，以下内容将被视为参数声明，带有多余的括号

boost::function<void()>(&someFunc)

如果删除括号，这将变得清晰

boost::function<void()> &someFunc

因此，整个声明将不再声明一个对象，但一个函数

SomeClass sc(boost::function<void()> &someFunc);

要修复它，请使用强制转换符号

SomeClass sc((boost::function<void()>)&someFunc);

或在整个表达式周围放置括号，就像您所做的那样。

以下是 8.2 中的标准：

由于函数样式转换和 6.8 中提到的声明之间的相似性而产生的歧义也可能出现在声明的上下文中。 在这种情况下，需要在参数名称周围带有一组冗余括号的函数声明和带有函数样式强制转换作为初始值设定项的对象声明之间进行选择。 正如 6.8 中提到的歧义一样，决议将考虑任何可能是声明的构造。 [注意：声明可以通过非函数风格的强制转换、通过 = 来指示初始化或通过删除参数名称周围的多余括号来显式消除歧义。 ]

请注意，为了控制优先级，您可以在任何地方引入括号，如下所示

int (((((((a))))))) = 3;
int (*(pa)) = &a;

Answer 2

这被称为“C++ 最令人烦恼的解析”（摘自 Scott 所著的一本书迈耶斯称之为有效的 STL）。

正如上面的回答，编译器更喜欢将有问题的行解释为函数声明。