#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;
}
我有一堂課ClazN，我：
- 想要一個可變引數模板形式，而不是限制類模板型別大小。
- 希望將不同的資料成員定義為相應的模板型別。
- ，
T1...沒有關系T2。Tn
怎么寫ClazzN？寫很多重復的代碼太愚蠢了。
我怎么能這樣做？需要您的幫助，非常感謝！！！
uj5u.com熱心網友回復：
可以用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;
}
uj5u.com熱心網友回復：
您可以使用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
轉載請註明出處，本文鏈接：https://www.uj5u.com/yidong/413475.html
標籤：