Вопросы с тегом «templates»

Я читал об удалении ссылки типа здесь . Это дает следующий пример: #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>(); …

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 …

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) я получаю …

9 c++  templates  language-lawyer  dependent-name 

Я хотел бы передать указатель на функцию из массива указателей на функцию в качестве аргумента шаблона. Кажется, мой код компилируется с использованием MSVC, хотя Intellisense жалуется, что что-то не так. И gcc, и clang не могут скомпилировать код. Рассмотрим следующий пример: static void test() {} using FunctionPointer = void(*)(); static …

9 c++  templates  c++14 

Я столкнулся с этой проблемой, пытаясь специализировать 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 = …

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и int, …

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 не выдают здесь ошибку. В. Почему этот код компилируется? Разве мы не являемся экземплярами A<B>при наследовании от B? В …

9 c++  templates  language-lawyer