如何在带有CRTP模式的派生类中使用聚合初始化？

如何解决如何在带有CRTP模式的派生类中使用聚合初始化？

我使用的标准是c++17。

问题是我想用CRPT重新编写代码并重组代码的结构，因为它非常适合，但问题是先前的代码在诸如此类的类中使用了聚合初始化：

ClassWithnoparent get(const T_& unit) const {
        return {.w = 1,.h = 1,.c = 1,.n = 1};
    }

很好。当我使用CRTP时

class DefaultClass {
 public:
    int n;
    int c;
    int h;
    int w;
};

template <class SuccessorT,class T = DefaultClass>
class BaseCRTPClass {
 public:
    int w;
    int h;
    int c;
    int n;

    SuccessorT get(const DefaultClass&) const {
        return   {.w = 1,.n = 1};
    }
};

class Successor : public BaseCRTPClass<Successor> {};

int main(){
    Successor t;
    auto k = t.get(DefaultClass{});
}

编译失败并显示错误

21:25: error: Could not convert '{1,1,1}' from '<brace-enclosed initializer list>' to 'Successor'

这是可以预料的，因为标准希望将Successor进行聚合，但是我不确定c++17严格禁止没有基类。它限制了构造函数（据我了解，但我可能是错的）。那么，如何解决这个问题呢？

如何为CRTP定义的派生类保持聚合初始化？

P.S。为什么要保留汇总的初始化？因为我代码中的很多地方都使用了这种初始化，但是如果要在CRTP中进行重新制作，那么所有内容都会被粉碎，并且我不得不替换某些构造函数上所有聚合的初始化...

解决方法

该问题与CRTP无关。派生类的聚合初始化仅在C ++ 17中引入。要聚合初始化派生类，必须在其自己的初始化程序列表中将基类初始化为第一项。因此，要使其正常工作，请使用双括号：

return {{.w = 1,.h = 1,.c = 1,.n = 1}};

为说明起见，假设您有一个更简单的非模板类：

struct Base { int a; };
struct Derived : public Base { int b; };

您必须将Base初始化为第一项：

Derived x = { 
    { .a = 42 },// Base
    .b = 24      // b
};