C++17 可以可變參數模板 class 定義新的類型和可變參數數據成員嗎？

Question

#include <iostream>

template <typename T0, typename T1>
struct Clazz {
    void doSomething(const std::shared_ptr<T0>& p0,
            const std::shared_ptr<T1>& p1) {}
    T0 t0;
    T1 t1;
};
template <typename T0, typename T1, typename T2>
struct Clazz3 {
    void doSomething(const std::shared_ptr<T0>& p0,
            const std::shared_ptr<T1>& p1,
            const std::shared_ptr<T1>& p2) {}
    T0 t0;
    T1 t1;
    T2 t1;
};

template <typename... Ts>
struct ClazzN {
    // Q1: one part: define types in doSomething
    // Q2: two part: define data members
    // using param_type = typename (std::shared_ptr<Ts>, ...) // fold expression? can it works on type part, or only value?

    // Ts... ts; // ??? pack it by tuple ???
};

int main() {
    Clazz<int, double> c2;
    Clazz3<int, double, char> c3;

    return 0;
}

我有一個 class ClazN ，我：

1. 想要一個可變參數模板形式，而不是限制 class 模板類型大小。
2. 希望將不同的數據成員定義為相應的模板類型。
3. T1 , T2 ... Tn沒有關系。

如何編寫ClazzN ？ 寫很多重復的代碼太愚蠢了。

我怎么能這樣做？ 需要您的幫助，非常感謝！！！

Answer 1

您可以使用std::tuple ，也可以用於param_type 。 如果你想要一個共享指針的元組，那就是：

#include <tuple>
#include <iostream>
#include <memory>

template <typename... Ts>
struct Clazz {
    using param_type = typename std::tuple<std::shared_ptr<Ts>...>; 
    std::tuple<Ts...> ts;
};

int main() {
    Clazz<int, double> c0;
}

Answer 2

您可以使用std::tuple_element訪問類型列表：

#include <cstdint>
#include <tuple>
#include <string>

template <typename... Ts>
struct Clazz {
    template<std::size_t I>
    using T = std::tuple_element_t<I, std::tuple<Ts...>>;
};


using Test = Clazz<int, int&, double, std::string>;
static_assert(std::is_same_v<Test::T<0>, int>, "");
static_assert(std::is_same_v<Test::T<1>, int&>, "");
static_assert(std::is_same_v<Test::T<2>, double>, "");
static_assert(std::is_same_v<Test::T<3>, std::string>, "");

https://gcc.godbolt.org/z/dvadxrbEM