タグ付けされた質問 「templates」

次の無意味な例はコンパイルされませんが、変数テンプレートをテンプレートテンプレート引数として渡す他の方法はありますか？ template<typename T> constexpr auto zero = T{0}; template<typename T, template<typename> auto VariableTemplate> constexpr auto add_one() { return VariableTemplate<T> + T{1}; } int main() { return add_one<int, zero>(); } コンパイラエクスプローラーを試す

11 c++  templates  c++14  template-templates  variable-templates 

文字列のコンテナを調べて、パターンの一致を見つけて出力するコードがあります。テンプレート化された関数fooで印刷が実行されます コード #include <iostream> #include <algorithm> #include <iterator> #include <vector> #include <string> #include <tuple> #include <utility> template<typename Iterator, template<typename> class Container> void foo(Iterator first, Container<std::pair<Iterator, Iterator>> const &findings) { for (auto const &finding : findings) { std::cout << "pos = " << std::distance(first, finding.first) << " "; std::copy(finding.first, finding.second, std::ostream_iterator<char>(std::cout)); …

10 c++  c++11  templates  language-lawyer  template-templates 

次の2つのオーバーロードを検討してください template<typename T> bool test() { return true; } template<template<typename ...> class T> bool test() { return false; } 1つ目は通常のクラスで機能し、2つ目はインスタンス化されていないテンプレートで機能します。例えば： std::cout<<test<int>()<<std::endl; <-- this yields 1 std::cout<<test<std::list>()<<std::endl; <--this yields 0 ここで、次のテンプレート関数を考えます。 template<typename U> bool templfun(){ struct A{ bool f(){ return test<A>(); // <-- this gives an error } }; return test<A>(); …

10 c++  templates  gcc  clang  c++17 

次のプログラムを検討してください。 #include <iostream> template <typename T> void f( void ( *fn )( T ) ) { fn( 42 ); } void g( int x ) { std::cout << "g( " << x << " );\n"; } int main() { f( g ); } プログラムは正常にコンパイルされ、その出力は g( 42 ); 今度は、非テンプレート関数の名前を変更してみましょうgにf。 #include <iostream> …

10 c++  templates  language-lawyer  c++17  template-argument-deduction 

型の参照の削除については、ここで読んでいます。 次の例を示します。 #include <iostream> // std::cout #include <type_traits> // std::is_same template<class T1, class T2> void print_is_same() { std::cout << std::is_same<T1, T2>() << '\n'; } int main() { std::cout << std::boolalpha; print_is_same<int, int>(); print_is_same<int, int &>(); print_is_same<int, int &&>(); print_is_same<int, std::remove_reference<int>::type>(); // Why not typename std::remove_reference<int>::type ? print_is_same<int, std::remove_reference<int &>::type>();// Why …

10 c++  c++11  templates  typetraits  dependent-name 

#include<iostream> #include<string> template <typename T> void swap(T a , T b) { T temp = a; a = b; b = temp; } template <typename T1> void swap1(T1 a , T1 b) { T1 temp = a; a = b; b = temp; } int main() { int a = …

9 c++  templates  pass-by-reference  pass-by-value  stdstring 

次のテンプレート構造があるとします。 template<typename T> struct Foo { Foo(T&&) {} }; これはコンパイルTされ、次のように推定されますint。 auto f = Foo(2); しかし、これはコンパイルされません：https : //godbolt.org/z/hAA9TE int x = 2; auto f = Foo(x); /* <source>:12:15: error: no viable constructor or deduction guide for deduction of template arguments of 'Foo' auto f = Foo(x); ^ <source>:7:5: note: candidate function …

9 c++  templates  language-lawyer 

私は次のコードを持っています： template <typename TC> class C { struct S { template <typename TS> void fun() const {} }; void f(const S& s) { s.fun<int>(); } }; // Dummy main function int main() { return 0; } これをgcc 9.2とclang（9.0）の両方でビルドすると、templateを呼び出すために必要なキーワードが原因で、コンパイルエラーが発生しますfun。Clangのショー： error: use 'template' keyword to treat 'fun' as a dependent template name …

9 c++  templates  language-lawyer  dependent-name 

関数ポインターの配列から関数ポインターをテンプレート引数として渡したいのですが。Intellisenseが何かがおかしいと文句を言うのに、私のコードはMSVCを使用してコンパイルしているようです。gccとclangはどちらもコードのコンパイルに失敗します。 次の例を考えてみます。 static void test() {} using FunctionPointer = void(*)(); static constexpr FunctionPointer functions[] = { test }; template <FunctionPointer function> static void wrapper_function() { function(); } int main() { test(); // OK functions[0](); // OK wrapper_function<test>(); // OK wrapper_function<functions[0]>(); // Error? } MSVCはコードをコンパイルしますが、Intellisenseは次のエラーを出します：invalid nontype template argument of type "const …

9 c++  templates  c++14 

特化しようとしているときに、私はこの問題に出くわしtuple_size/ tuple_elementC ++ 17の構造の結合のためのカスタムクラス。 以下のコードはGCCでコンパイルされますが、clangではコンパイルされません（両方のトランクバージョン、以下のリンクを参照）。 #include <type_traits> template<typename T, typename... Ts> using sfinae_t = T; template<typename T, bool... Bs> using sfinae_v_t = sfinae_t<T, typename std::enable_if<Bs>::type...>; template <typename T> struct Test; template <typename T> struct Test<sfinae_v_t<T, std::is_integral_v<T>>> {}; void f() { Test<int> t; } https://godbolt.org/z/ztuRSq これは、clangによって提供されるエラーです。 <source>:13:8: error: class template partial …

9 c++  templates  language-lawyer  template-specialization  partial-specialization 

#include <iostream> using namespace std; template <class X, class Y> Y big(X a, Y b) { if (a > b) return (a); else return (b); } int main() { cout << big(32.8, 9); } ここではCPPでテンプレートを使用しているためbig、doubleとinttypeの引数をバイパスして関数を呼び出すと、である返答が必要ですdouble。ここではタイプで、の32代わりに返されます32.8。 どのようにして希望の出力を得るのですか big関数の適切な戻り値の型を記述する方法は？

9 c++  function  templates  return-type  function-templates 

次のコードスニペットを理解しようとしています スニペット＃1 template <typename T> struct A { static constexpr int VB = T::VD; }; struct B : A<B> { }; ここでは、gcc9もclang9もエラーをスローしません。 Q.このコードがコンパイルされるのはなぜですか？A<B>Bから継承するときにインスタンス化していませんか？BにはVDがないので、コンパイラーはここでエラーをスローすべきではありませんか？ スニペット＃2 template <typename T> struct A { static constexpr auto AB = T::AD; // <- No member named AD in B }; struct B : A<B> { …

9 c++  templates  language-lawyer 

次のコードサンプルでは、ifステートメントはboolコンパイル時定数であるテンプレートパラメーターに依存しています。コンパイラはこのコードを別の方法で処理します。 MSVCはリンクエラーで失敗します（これは私が予想したことです）。elseブランチのテンプレート関数にはtrueテンプレートパラメーター値の特殊化がないため（呼び出されることはありません）。 GCCとClangはどちらも問題なくコンパイルされ、実行時の動作は正しいです。これはif、コンパイル時にステートメントを評価し、リンクする前に未使用のブランチを削除するためです。 問題は、どの動作が標準に準拠しているか（または、未定義の動作であり、どちらも独自の方法で正しいか）です。 #include <iostream> template<const bool condition> struct Struct { void print() { if (condition) { std::cout << "True\n"; } else { printIfFalse(); } } private: void printIfFalse(); }; template <> void Struct<false>::printIfFalse() { std::cout << "False\n"; } int main() { Struct<true> withTrue{}; withTrue.print(); Struct<false> withFalse{}; withFalse.print(); return …

8 c++  templates  language-lawyer  compiler-optimization  template-specialization 

＃1664の提案された解決策（提案された解決策1664）を見た後、私は関数テンプレートのデフォルト引数のルールに混乱しています、ここにコンテンツを引用してください： 8.1.5 [expr.prim.lambda]パラグラフ3によると クロージャタイプは、対応するラムダ式を含む最小のブロックスコープ、クラススコープ、または名前空間スコープで宣言されます。[注：これにより、クロージャタイプに関連付けられた名前空間とクラスのセットが決まります（6.4.2 [basic.lookup.argdep]）。ラムダ宣言子のパラメータタイプは、これらの関連する名前空間とクラスには影響しません。—エンドノート] ただし、17.8.1 [temp.inst]パラグラフ13には、 デフォルトの引数を使用する必要がある方法で関数テンプレートfが呼び出された場合、依存名が検索され、セマンティクスの制約がチェックされ、デフォルトの引数で使用されているテンプレートのインスタンス化は、デフォルトの引数のように行われます。その時点で使用されている関数テンプレートfと同じスコープ、同じテンプレートパラメータ、同じアクセス権を持つ関数テンプレートの特殊化で使用される初期化子でした。 その場合、可能性は、テンプレート関数（または、おそらく、クラステンプレートのメンバー関数）のデフォルト引数のラムダ式のクロージャタイプが、の本体のブロックスコープで宣言されていると見なされることです。架空の機能テンプレートの特殊化。 次の例を考えてみましょう。 namespace J { inline namespace K { template <typename T> int zap(const T &t) { foo(t); return 0; } template <typename T> void zip(int = zap([] { })) { } } template <typename T> void foo(const T &) { } …

8 c++  templates  c++17  language-lawyer 

std::invoke関数がオーバーロードされている場合でも、関数タイプを推定する作業を行うためのラッパーを提供しようとしています。 （私は昨日、可変およびメソッドポインターバージョンについて関連する質問をしました）。 関数に1つの引数がある場合、このコード（C ++ 17）は通常の過負荷状態で期待どおりに機能します。 #include <functional> template <typename ReturnType, typename ... Args> using FunctionType = ReturnType (*)(Args...); template <typename S, typename T> auto Invoke (FunctionType<S, T> func, T arg) { return std::invoke(func, arg); } template <typename S, typename T> auto Invoke (FunctionType<S, T&> func, T & arg) { return …

8 c++  templates  function-pointers  template-meta-programming  type-deduction