\编译器升级到C++ 17，某些看起来合理的代码停止了编译。这段代码没有用任何在C++ 17删除的过时特性

，但仍然停止编译。理解这个编译错误能更好理解C++ 17的一个新特性：

template<typename Derived>
struct Base
{
private:
    Base(){};
    friend Derived;
};

struct Derived : Base<Derived>
{
};

int main()
{
    Derived d{};
}

这段代码是跟CRTP（Curiously Recurring Template Pattern）相关的经典技巧，避免把错误的类传递给CRTP基类。C++ 14的代码可以编译，但是稍微修改一下，让派生类不把自身作为模板形参传递给基类，即使在C++ 14也无法编译:

template<typename Derived>
struct Base
{
private:
    Base(){};
    friend Derived;
};

struct X{};

struct Derived : Base<X> // passing the wrong class here
{
};

int main()
{
    Derived d{};
}

的构造函数，但后者是私有的，并且只跟模板形参为

c++ 14 第一个版本编译没有问题。下面是修改后在C++ 14的编译错误：

<source>: In function 'int main()':
<source>:17:15: error: use of deleted function 'Derived::Derived()'
   17 |     Derived d{};
      |               ^
<source>:11:8: note: 'Derived::Derived()' is implicitly deleted because the default definition would be ill-formed:
   11 | struct Derived : Base<X>
      |        ^~~~~~~
<source>:11:8: error: 'Base<Derived>::Base() [with Derived = X]' is private within this context
<source>:5:5: note: declared private here
    5 |     Base(){};
      |     ^~~~
Compiler returned: 1

继续看一下C++ 14中编译的第一个正确版本：

<source>: In function 'int main()':
<source>:15:15: error: 'Base<Derived>::Base() [with Derived = Derived]' is private within this context
   15 |     Derived d{};
      |               ^
<source>:5:5: note: declared private here
    5 |     Base(){};
      |     ^~~~

，为什么编译器不会接受构造一个

c++ 17带来的特性之一是扩展了聚合初始化。

聚合初始化是指调用点通过初始化其成员而不使用显式定义的构造函数来构造对象。

struct X
{
    int a;
    int b;
    int c;
};

调用时用1、2和3初始化a、b和c，不需要x的任何构造函数。这是C++ 11开始允许的。

但是，实现这一特性的规则非常严格：类不能有私有成员、基类、虚函数和许多其他东西。

C++ 17其中一条规则得到了放宽：即使类有基类，也可以执行聚合初始化。不过，调用时必须初始化基类。

struct X
{
    int a;
    int b;
    int c;
};

struct Y : X
{
    int d;
};

Y继承自X。在C++ 14中，这使Y无法进行聚合初始化。但是在c++ 17中，可以这样构造一个Y：

Y y{1, 2, 3, 4};
// or
Y y{ {1, 2, 3}, 4};

两种语法分别将a、b、c和d初始化为1、2、3和4。

这将a, b和c初始化为0,d初始化为4。

但是，要注意，这并不等同于这个：

因为这将a(而不是d)初始化为4，将b, c和d初始化为0。也可以在X中指定部分属性:

这将a初始化为1,b和c初始化为0,d初始化为4。

现在已经熟悉了扩展聚合初始化，回到初始代码。

下面的代码在C++ 14编译良好，在C++ 17停止编译：

构造的大括号了吗?在C++ 17它们触发聚合初始化，并实例化具有私有构造函数的

构造函数的调用位置是构造基类，而不是构造函数本身。如果修改基类，使其与构造函数的调用位置为

，则代码在C++ 17中也可以很好地编译：

template<typename Derived>
struct Base
{
private:
    Base(){};
    friend int main(); // this makes the code compile
};

struct Derived : Base<Derived>
{
};

int main()
{
    Derived d{};
}

当然，肯定不打算这样写代码，每个调用函数都有一个

是不合理的！这个更改只是为了说明调用点直接调用基类的构造函数这一事实。

要修复代码，可以……去掉括号（哈哈哈哈）：

template<typename Derived>
struct Base
{
private:
    Base(){};
    friend Derived;
};

struct Derived : Base<Derived>
{
};

int main()
{
    Derived d;
}

注意，这时已不再从值初始化中获益了。如果

包含数据成员，需要确保在显式声明的构造函数中或在类中声明这些成员时初始化它们。

这个例子让我们更好地理解聚合初始化是如何工作的，以及它在C++ 17中是如何变化的。删除两个字符能教会我们多少东西，是不是非常有趣!

本文详细介绍C++ 17中的扩展聚合初始化特性，该特性使得初始化聚合类型的对象变得更加简洁和灵活。通过对比C++ 14的代码，发现在C++ 17引入的扩展聚合初始化语法可以大大简化代码，并提供更好的可读性和可维护性。

\编译器升级到C++ 17，某些看起来合理的代码停止了编译。这段代码没有用任何在C++ 17删除的过时特性std::auto_ptr或std::bind1st，但仍然停止编译。理解这个编译错误能更好理解C++ 17的一个新特性：扩展聚合初始化。

从C++ 14到C++ 17：理解聚合初始化是如何工作的

本文详细介绍C++ 17中的扩展聚合初始化特性，该特性使得初始化聚合类型的对象变得更加简洁和灵活。

编程语言

C++17扩展聚合初始化特性导致CRTP模式代码编译失败，解析基类私有构造函数调用问题。了解C++17新特性如何改变对象初始化方式，提升代码可读性。

编译器

文章

问答

视频

教程

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

腾讯iOA零信任安全管理系统专区

腾讯云架构师技术同盟交流圈

腾讯云数据库专区

腾讯云智能顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

涵盖代码开发、场景应用、自动测试全流程，助你从零构建专属AI助手

一站式MCP教程库，解锁AI应用新玩法

聚焦“写作效率、视觉美观与运行性能”三方面进行全面升级，为您提供更高效、稳定的创作环境

社区富文本&Markdown编辑器全新改版上线，欢迎大家体验!

诚挚邀请您参与本次调研，分享您的真实使用感受与建议。您的反馈至关重要，感谢您的支持与参与！

从C++ 14到C++ 17：理解聚合初始化是如何工作的

从C++ 14到C++ 17：理解聚合初始化是如何工作的

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐