template-meta-programming

2熱度

2回答

你知道模板參數可能是類型或積分值，因此，例如，你可以有 template<typename T, size_t BufferSize> small_vector { //... 問題我已經是我想寫的模板，將不同類型的整體工作。因此，像這樣： constexpr short sa=1, sb=2, sc=3; my_template_class1<sa,sb,sc>; constex

1熱度

1回答

這個擴展整數參數包的代碼可以用1個函數寫嗎？

我有代碼使用摺疊表達式來比較函數參數與類模板的整數參數。代碼作品AFAIK，但我想知道是否有可能沒有_impl幫助函數做我想做的事情。的完整代碼（我的問題是，如果contains可以不contains_impl實施）： #include <algorithm> #include <iostream> #include <utility> #include <cstdlib> #incl

6熱度

2回答

獲取原始結構/類名

template<typename T> struct S {}; template<typename T> struct R {}; int main() { typedef S<double> s1; typedef S<int> s2; typedef R<int> s3; static_assert(xxx<s1, s2>::value,

1熱度

2回答

類型安全 - all_of/any_of/none_of std ::元組

所以我開始實現一些模仿STL算法的行爲，但是使用異構容器a.k.a std :: tuple的算法。 template<typename UnaryPredicate, typename Tuple> bool all_of(UnaryPredicate&& p, Tuple&& t) noexcept { return std::apply([&p](auto&& ...xs){

5熱度

2回答

實現這種「錯誤，拋出」回調的最佳方式是什麼？

被警告：在我們遇到真正的問題之前，有很多背景信息。我有一個相當寬的C++類層次結構（代表像不同類型的表達式）： class BaseValue { virtual ~BaseValue(); }; class IntValue final : public BaseValue { int get() const; }; class DoubleValue final : public Bas

0熱度

1回答

禁用測試條件上一個成功

我有以下代碼： struct has_to_string {}; struct has_error_string {}; template<typename T> struct checker { template<typename, typename> struct checker_helper; template<typename C> static

2熱度

1回答

爲什麼沒有std等效的boost :: enable_if？

在C++ 11中，std::enable_if被添加到標準庫中。它相當於boost::enable_if_c，其條件是bool。這適用於相當簡單的條件，但只要使用謂詞將常量保留爲value，則必須使用更詳細的構造將其變爲bool。這正是boost::enable_if（沒有_c後綴）。爲什麼標準庫中沒有等價物？

1熱度

1回答

生成模板實例的列表，並呼籲他們的靜態函數

說我有一組模板template<int N> A{}和template<int N> B{}等與模板C，D ....他們都有一個靜態成員函數init()。我想寫一個元函數生成A<0>,B<1>,C<2>等等。讓我們命名這個可變元函數SeqInst。而且這個元功能還有一個靜態成員函數init()，後者又調用所有的A<0>::init(),B<1>::init()等。我試着寫SeqInst爲var

0熱度

1回答

使用「結構XXX <> :: VAL」在模板元編程引起錯誤

我寫使用中的枚舉結構來計算斐波納契一個基本的C++模板元編程演示，並沒有在任GCC 4.9或MSVC 14. #include <iostream> using namespace std; template <int N> struct fib { enum {val = fib<N-1>::val + fib<N-2>::val}; }; template <> st

3熱度

1回答

如何檢測模板是否是別名模板？

給定一個「正常」的模板： template<typename> struct Normal; 和別名模板： template<typename> using Alias = void; 我如何，當作爲模板的模板參數給出，這兩個區別？所以，最好我想下面的編譯： int main() { static_assert( is_alias_template<Alias>::val