template-meta-programming

1熱度

3回答

我正在C++中實現二項係數（n選擇k）函數。除了使用「正常」功能（其在運行時計算），這也可以實現使用模板元編程（當參數是在編譯時已知的）： template <unsigned int n, unsigned int k> struct Binomialkoeffizient { static const unsigned int value = Binomialkoeffizien

1熱度

1回答

如何包裝對象，使其成爲不能互動的獨立類型？

我處理很多座標數據，認爲預定義庫類型 struct Point3d { double x,y,z; }; ，並從徵和OpenCV等。現在，每個點的座標都表示在某個參照系中。我希望類型系統能夠跟蹤每個點被表達的幀。一些東西沿線 enum Frames { frame1, frame2 }; using Point_1 = TagWrapper<Point3d, frame1>; usin

0熱度

2回答

編譯時間polynoms

我（最後）最近聽說可變參數模板。我想知道，如果有一種方法可以讓一個INT - 多項式編譯時間運營商： template <int... coefs> struct polynom {} 哪些coud支持加，一元減號和MUL操作符。 [編輯]：claryfying問題：甲INT-多項式是基本上一個整數列表（係數）： 1 + 2x^2 - 7x^5 <=> (1, 0, 2, 0, 0, -7

6熱度

2回答

可變參數模板默認模板參數

假設結合我有一個類 enum CallbackType { SYNC, ASYNC } template<CallbackType CB = SYNC, typename... Args> class Callback { } 我希望能夠有選擇地specificy回調類型，同時仍然向阿不來提具有可變參數模板參數。現在我明白了編譯器不能區分它們，但是也許有辦法

4熱度

3回答

爲了檢查一個類是否有一個具有特定簽名的方法，是否需要`void_t`？

當我第一次學會了如何在一個類檢查特定的簽名，我學會了使用std::void_t，寫一些像這樣的代碼： template<typename T, typename =void> class HAS:public false_type{}; template<typename T> class HAS<T,void_t<decltype(declval<T>().print())>>:publ

1熱度

1回答

constexpr用戶定義的文字：是否允許？

我想我的哈希字符串與用戶定義在編譯時間之前字面 constexpr unsigned int const_hash(char const *input) { return *input ? static_cast<unsigned int>(*input) + 33 * const_hash(input + 1) : 5381; } constexpr un

2熱度

5回答

是否可以使用統一的取消引用語法？

說我有一個功能f()類型： struct A { void f() {} }; 和兩個向量：（指針的傻數量只是爲了戲劇效果） std::vector<A*> x; std::vector<A*******> y; 我尋找能夠寫作的方式： deep_deref(std::begin(x)).f(); deep_deref(std::begin(y)).f(); 換句話說，我要的是搭

1熱度

1回答

如果constexpr的代碼最短，我該如何反向移植？

我使用這個代碼來實現類型的查詢像在C＃： template<class T> constexpr bool IsSixtyFourBit() { return is_same<T, int64_t>() || is_same<T, uint64_t>(); } template<class T> constexpr bool IsDouble() { return i

5熱度

3回答

函數式縮減函數中的前進和返回類型

我需要創建一個類似於std::reduce的函數reduce，但不是在容器上工作，該函數應該可用於可變參數。這是我目前有： template <typename F, typename T> constexpr decltype(auto) reduce(F&&, T &&t) { return std::forward<T>(t); } template <typename

1熱度

1回答

從模板類的多重繼承

我想擁有一個可以存儲各種對象的通用存儲類，我不想使用存儲所有對象的異構容器類。我想創建一個模板存儲類，並創建一個繼承一般的存儲類從這種與不同類型的元類： template<typename Type> struct SingleInterface { public: SingleInterface() = default; virtual ~SingleInterface