隐含的默认构造意义？

Question

对于std::tuple，this reference page表示该类型的默认构造函数是“显式的，当且仅当Ti不能隐式默认构造至少一个{{1} }}”。

我对“隐式默认构造”意味着什么感到困惑。有人可以举个例子吗？

Answer 1

以下是一个例子：

struct A {};
struct B { explicit B() = default; };

int main()
{
    A a1 = {};
    A a2 {};

    // B b1 = {}; // Error, would use explicit default constructor
    B b2 {};
}

由于列表初始化，使用explicit的构造函数因C ++ 11而变得更加相关。

Answer 2

这意味着，std::tuple<T1,T2,...,Tn>隐式构建默认值，所有Ti类型都必须。

隐式默认构造元组的示例

例如，由于std::string和std::vector隐式默认构造（默认构造函数不是explicit），std::tuple<std::string, std::vector>是：

void f(std::tuple<std::string, std::vector<int>>);

f({}); // valid and equivalent to:
std::string sempty;
std::vector<int> vempty;
auto tsv = std::make_tuple(sempty, vempty);
f(tsv);

非隐式可构造元组的示例

使用非隐式默认可构造类型A，std::tuple<std::string, A>无法隐式构造默认值：

struct A
{
    explicit A() = default;
};

void f(std::tuple<std::string, A>);

f({}); // error