Questions tagged «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; } 第一个适用于常规类，而第二个适用于未实例化的模板。例如： 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。lang声显示： 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 

#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绕过doubleand int类型的参数调用函数时，我希望返回的答案是double。这里的类型，它返回32而不是32.8。 如何获得所需的输出？如何编写适当的返回类型的big函数？

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

我碰到这个问题，而试图专注tuple_size/ tuple_element自定义类在C ++ 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 

我正在尝试了解以下代码片段 片段1 template <typename T> struct A { static constexpr int VB = T::VD; }; struct B : A<B> { }; gcc9和clang9都不会在此处引发错误。 问：为什么要编译此代码？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