“支架初始化”。 (C++)

Question

我现在正在学习 C++，C++ Primer plus。但我只是想查看 cplusplus 网站并跳过一些文件处理。

我非常了解来自 java、php、Visual Basic 的文件处理基础知识。但我遇到了一条非常奇怪的线。

ostream os(&fb);

fb 代表一个文件缓冲区。我只是不明白它的语法，但我可以弄清楚它与：

ostream os = &fb;

但我从未真正读过这种初始化变量的方式。

所以我想知道。我是否只是愚蠢并一直错过了一个真正有用的功能？这种初始化方式是旧的吗？有什么不同吗？

提前致谢。

Answer 1

两种形式都执行初始化。第一种语法（使用 ()）称为直接初始化语法。第二种语法（使用 =）称为复制初始化语法。在大多数现实生活中，它们的行为是相同的，但两者之间确实存在差异。

在左侧 (LHS) 和右侧 (RHS) 的类型相同（忽略任何 const/易失性限定符）的情况下，两者确实完全相同。语言标准明确指出，在这种情况下，= 形式相当于() 形式。

但是当类型不同时（并且 LHS 类型是类类型），这两种形式通常会以不同的方式工作。

• 复制初始化形式的工作原理如下：将 RHS 值转换为 LHS 类型的临时对象（通过任何可能的方式：标准转换、转换运算符、转换构造函数）。然后使用 LHS 类的复制构造函数将临时对象复制到 LHS 对象。

• 直接初始化形式的工作原理如下：仅考虑 LHS 的所有构造函数，并通过使用重载决策选择最合适的一个。

  直接初始化形式的工作原理如下

您可以立即注意到复制初始化语法无条件地使用复制构造函数（复制和中间临时可以被优化掉，但从概念上讲它们就在那里）。如果 LHS 类没有可访问的复制构造函数，则复制初始化无条件地变得格式错误，而直接初始化可能仍然有效。

此外，应用于某些构造函数的关键字explicit将影响哪种形式的初始化可用于哪种类型的组合。

Answer 2

一个小程序，用于查看何时调用复制构造函数以及何时调用重载赋值运算符函数：

#include <iostream>

using namespace std;

class test
{
    public:
        // default constructor.
        test()
        {
            cout<<"Default Ctor called"<<endl;
        }

        // copy constructor.
        test(const test& other)
        {
            cout<<"Copy Ctor called"<<endl;
        }

        // overloaded assignment operator function.
        test& operator=(const test& other)
        {
            cout<<"Overload operator function called"<<endl;
            return *this;
        }
};

int main(void) 
{
    test obj1;  // default constructor called.

    test obj2 = obj1; // copy constructor called.

    test obj3(obj2); // again copy constructor called.

    obj1 = obj2; // overloaded assignment operator function.

    return 0;
}

输出：

Default Ctor called
Copy Ctor called
Copy Ctor called
Overload operator function called

因此，在您的情况下，在这两种情况下都会调用 ostream 的复制构造函数。

Answer 3

也许您应该阅读此和这个

Answer 4

函数调用初始化的一个重要好处是它们还可以与采用多个参数的构造函数一起使用。例如，fstream 构造函数可以采用两个参数：

std::fstream file("filename", ios_base::out);

直到 C++0x 统一初始化 广泛可用，函数调用初始化是处理多参数构造函数的唯一方法。

Answer 5

根据我的理解， &var 是 var 变量的别名，与您使用哪一个无关。

--------添加 -----------------

下面的代码取自 Stroustrup 的书。从中可以清楚地看出，两者都是同一变量的别名。也有如下说法。

“参数传递的语义被定义为初始化的语义，因此当调用时，增量的参数 aa 变成了 x 的另一个名称。”这就是为什么我将 &x 称为 x 的别名。

<代码>
无效增量（int＆aa）{aa++; }

void f()
{
整数x=1；
增量（x）；
}