std::vector 初始化的模板参数

Template argument for std::vector initialization

有一个名为 Matrix 的结构,带有模板参数 Ndata_ 字段:

#include <cstddef>
#include <vector>

template <std::size_t N>
struct Matrix {
    std::vector<std::vector<int>> data_{N, std::vector<int>(N)};
};

为什么无法使用圆括号初始化 data_

std::vector<std::vector<int>> data_(N, std::vector<int>(N));

这是错误:

<source>:6:41: error: unknown type name 'N'
    std::vector<std::vector<int>> data_(N, std::vector<int>(N));
                                        ^
<source>:6:61: error: declaration of 'N' shadows template parameter
    std::vector<std::vector<int>> data_(N, std::vector<int>(N));
                                                            ^
<source>:4:23: note: template parameter is declared here
template <std::size_t N>

Default member initializer (C++11 起) 不支持圆括号初始化器,只支持花括号初始化器和等号初始化器。

Through a default member initializer, which is a brace or equals initializer included in the member declaration and is used if the member is omitted from the member initializer list of a constructor.

除了你展示的大括号外,你还可以

template <std::size_t N>
struct Matrix {
    std::vector<std::vector<int>> data_ = std::vector<std::vector<int>>(N, std::vector<int>(N));
};

() 常规声明与最令人烦恼的解析有问题。

为了避免这个可能的问题,在 class 成员初始化中不允许使用该语法。