[英]Hide empty base class for aggregate initialization
考虑以下代码:
struct A
{
// No data members
//...
};
template<typename T, size_t N>
struct B : A
{
T data[N];
}
这就是你必须如何初始化 B: B<int, 3> b = { {}, {1, 2, 3} };
我想避免基类不必要的空 {}。 Jarod42在这里提出了一个解决方案,但是,它不适用于元素默认初始化: B<int, 3> b = {1, 2, 3};
很好,但B<int, 3> b = {1};
不是: b.data[1]
和b.data[2]
没有默认初始化为 0,并且会发生编译器错误。 有什么方法(或者 C++20 会有)从构造中“隐藏”基类?
最简单的解决方案是添加一个可变参数构造函数:
struct A { };
template<typename T, std::size_t N>
struct B : A {
template<class... Ts, typename = std::enable_if_t<
(std::is_convertible_v<Ts, T> && ...)>>
B(Ts&&... args) : data{std::forward<Ts>(args)...} {}
T data[N];
};
void foo() {
B<int, 3> b1 = {1, 2, 3};
B<int, 3> b2 = {1};
}
如果您在{...}
初始值设定项列表中提供的元素少于N
,则数组data
的剩余元素将按T()
进行值初始化。
仍然使用构造函数,您可能会执行以下操作:
template<typename T, size_t N>
struct B : A
{
public:
constexpr B() : data{} {}
template <typename ... Ts,
std::enable_if_t<(sizeof...(Ts) != 0 && sizeof...(Ts) < N)
|| !std::is_same_v<B, std::decay_t<T>>, int> = 0>
constexpr B(T&& arg, Ts&&... args) : data{std::forward<T>(arg), std::forward<Ts>(args)...}
{}
T data[N];
};
SFINAE 主要是为了避免创建伪复制构造函数B(B&)
。
你需要额外的私有标签来支持B<std::index_sequence<0, 1>, 42>
;-)
我找到了另一个解决方案(我不知道如何)完美地解决了我们在 Evg 的回答下讨论的问题
struct A {};
template<typename T, size_t N>
struct B_data
{
T data[N];
};
template<typename T, size_t N>
struct B : B_data<T, N>, A
{
// ...
};
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.