web-dev-qa-db-ja.com

集約の初期化のために空の基本クラスを非表示にする

次のコードを検討してください。

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 here によって提案された解決策がありますが、要素のデフォルトの初期化では機能しません:B<int, 3> b = {1, 2, 3};は問題ありませんが、B<int, 3> b = {1}; ではありません: b.data[1]およびb.data[2]はデフォルトで0に初期化されておらず、コンパイラエラーが発生します。基本クラスを構築から「隠す」方法はありますか(またはc ++ 20で存在するでしょう)?

9
user7769147

最も簡単な解決策は、可変個コンストラクタを追加することです。

_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()のように値で初期化されます。

6
Evg

C++ 20以降、 指定された初期化子集計初期化 で使用できます。

B<int, 3> b = { .data {1} }; // initialize b.data with {1}, 
                             // b.data[0] is 1, b.data[1] and b.data[2] would be 0
4
songyuanyao

それでもコンストラクターを使用すると、次のようなことができます。

_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>_をサポートするには、追加のプライベートタグが必要になります;-)

4
Jarod42

(方法がわからない)完全に機能し、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
{
    // ...
};
2
user7769147