c++ - 参数评估和未定义的行为

Question

给定此示例(这是 boost::multi_index_container 文档中关于更新回滚的示例的简化):

#include <iostream>

struct change
{
        int val_;
        change(int const &val) : val_(val)
        {
        }

        void operator() (int &v) const
        {
                v = val_;
        }
};

void do_it(int &v, change const &c1, change const &c2)
{
        c1(v);
        c2(v);
}

main()
{
        int i = 17;
        int orig = i;
        do_it(i, change(11), change(orig));
        std::cout << "i = " << i << std::endl;
}

此处是否需要i 的显式拷贝(到orig)？或者可以更简单地写成:

        int i = 17;
        do_it(i, change(11), change(i));

在那种情况下，do_it 调用后 i 的值是否仍然保证为 17？这两个 change 参数都需要在执行函数体之前构造。

语言是否保证在函数开始之前构造所有参数？ (如果没有保证，那么编译器可能会延迟 c2 的构造，直到 c1 的 operator() 运行之后，因此最终值为 11)

Answer 1

函数调用的所有参数都在调用函数之前进行评估。未指定评估参数的顺序。

在你的情况下 i 仍然是 17。