最近我看到了这样一个例子:

#include <iostream>

class Foo {
public:
  int bar;
  Foo(int num): bar(num) {};
};

int main(void) {
  std::cout << Foo(42).bar << std::endl;
  return 0;
}

这个奇怪的bar(num)是什么意思?它似乎初始化了成员变量,但我以前从未见过这种语法。它看起来像一个函数/构造函数调用,但int?这对我来说毫无意义。也许有人能启发我。顺便问一下,还有没有其他像这样深奥的语言特性,你在普通的c++书中找不到?


当前回答

这叫做初始化列表。它是初始化类成员的一种方式。使用此方法比简单地为构造函数体中的成员赋新值更有好处,但如果类成员是常量或引用,则必须对它们进行初始化。

其他回答

虽然这是一个古老的讨论,但我找不到任何关于委托构造函数的提及,它以以下方式使用了奇怪的“:”符号。

class Foo 
{
public: 
    Foo(char x, int y) 
    {}
    Foo(int y) : Foo('a', y) 
    {}
};

它只是将Foo(y)委托给Foo('a', y)。这

Foo foo(15); //=> foo('a', 15)

定义委托构造函数时,初始化列表中除了目标构造函数外不能有任何成员。

它是一个成员初始化列表。你可以在任何好的c++书籍中找到有关它的信息。

在大多数情况下,您应该初始化成员初始化列表中的所有成员对象(但是,请注意FAQ条目末尾列出的例外)。

常见问题解答的要点是,

在其他条件相同的情况下,如果使用初始化列表而不是赋值,代码将运行得更快。

还有一个“好处”

如果成员变量类型不支持空初始化,或者它是一个引用(不能被空初始化),那么你别无选择,只能提供一个初始化列表

在这个线程中还没有提到:从c++ 11开始,成员初始化器列表可以使用list-initialization(又名list-initialization)。“统一初始化”,“带括号初始化”):

Foo(int num): bar{num} {}

它与其他上下文中的列表初始化具有相同的语义。

什么是冒号语法(:)在类构造函数和什么传递一个整数std::vector<>构造函数做?

我想解释下面这个重复问题的例子:

class UnionFind {
    public:
        UnionFind(int sz) : root(sz) {
            for (int i = 0; i < sz; i++) {
                root[i] = i;
            }
        }
    private:
        vector<int> root;
    };
    
    
    int main() {
        
       
        UnionFind uf(10);
    }

冒号(:)表示“初始化列表”或“初始化列表”的开始,它将每个变量初始化为括号中的值。这就好像你在为每个变量调用一个构造函数,将括号中的值传递给该变量的构造函数。

因此,:root(sz)用一个int值sz初始化根变量,这就像执行vector<int> root(sz);。但是,这样做可以将sz传递给UnionFind类构造函数。

用这样的大小初始化一个向量是构造函数#3 (https://en.cppreference.com/w/cpp/container/vector/vector):

// Constructor (3) as shown at
// https://en.cppreference.com/w/cpp/container/vector/vector
explicit vector( size_type count,
                 const T& value = T(),
                 const Allocator& alloc = Allocator());

它在向量中构造了count(在上面的例子中是sz)个数的元素,每个元素的值都是T(),在本例中这意味着int(),因为根是一个<int>的向量。int()看起来像一个函数调用,但实际上是一个值为0(0)的整数默认构造函数。它被称为“值初始化”。把它想象成调用“整数构造函数”,如果整数是对象并且有构造函数的话。在这里也可以看到我的问题:在c++中调用char()作为函数是什么?

所以,让我们回顾一下::root(sz)在构造函数中就像构造vector<int> root(sz);,它在根向量中创建了sz个元素,每个元素的初始值都是int(),这是将int值初始化为0的语法。

还要注意,上面显示的传递给构造函数#3的count参数实际上应该是一个size_type,可以写成std::vector::size_type,通常是size_t(请参阅这里的“成员类型”部分)。因此,将int sz改为size_t sz会更好。因此,将构造函数line: UnionFind(int sz): root(sz){改为:UnionFind(size_t sz): root(sz){。