Programowanie templates

1

Dlaczego ten kod zajmuje tyle czasu, aby skompilować się z g ++?

Rozważ następujący kod: template<int i> class A { typedef A<i-1> B; B x, y; }; template<> class A<0> { char m; }; int main() { A<LEVEL> a; } Podczas testowania jego kompilacji przez g ++ za pomocą następującego polecenia Bash (z g ++ 8.3.0) for ((level=1; level<30; ++level)); do echo …

12 c++ templates gcc compilation

1

Czy szablon zmiennej można przekazać jako argument szablonu szablonu?

Poniższy bezsensowny przykład nie kompiluje się, ale czy istnieje jakiś inny sposób przekazania szablonu zmiennej jako argumentu szablonu szablonu? 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>(); } Wypróbuj Eksplorator kompilatorów

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

2

Odliczenie typów argumentów szablonu szablonu C ++

Mam kod, który wyszukuje i drukuje dopasowania wzorca przechodzące przez kontener ciągów. Drukowanie odbywa się w funkcji foo, która jest szablonowana Kod #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 …

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

1

Problem w GCC / C ++ 17 z klasą szablonów szablonów

Rozważ 2 następujące przeciążenia template<typename T> bool test() { return true; } template<template<typename ...> class T> bool test() { return false; } Pierwszy działa dla klas regularnych, a drugi dla szablonów, które nie są tworzone. Na przykład: std::cout<<test<int>()<<std::endl; <-- this yields 1 std::cout<<test<std::list>()<<std::endl; <--this yields 0 Teraz rozważ następującą funkcję …

10 c++ templates gcc clang c++17

2

Odliczenie argumentu szablonu dla argumentu typu funkcji

Rozważ następujący program. #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 ); } Program kompiluje się pomyślnie, a …

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

3

Dlaczego nie jest wymagane używanie nazwy typu dla typów zależnych w następującym przypadku?

Czytałem o usuwaniu odwołania do typu tutaj . Daje następujący przykład: #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

2

C ++ - Dlaczego słowo kluczowe „szablon” jest tutaj wymagane?

Mam następujący kod: 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; } Kiedy buduję to z gcc 9.2 i clang (9.0), pojawia się błąd …

9 c++ templates language-lawyer dependent-name

1

Przekazywanie wskaźnika funkcji z tablicy wskaźników funkcji jako argumentu szablonu

Chciałbym przekazać wskaźnik funkcji z tablicy wskaźników funkcji jako argument szablonu. Mój kod wydaje się kompilować przy użyciu MSVC, chociaż Intellisense narzeka, że coś jest nie tak. Zarówno gcc, jak i clang nie mogą skompilować kodu. Rozważ następujący przykład: static void test() {} using FunctionPointer = void(*)(); static constexpr FunctionPointer …

9 c++ templates c++14

1

niespójność clang / gcc w specjalizacji klasowej

Natknąłem się na ten problem podczas próby specjalizacji tuple_size/ tuple_elementdla niestandardowej klasy w C ++ 17 dla powiązań strukturalnych. Poniższy kod kompiluje się w GCC, ale nie w clang (obie wersje trunk, patrz poniższy link). #include <type_traits> template<typename T, typename... Ts> using sfinae_t = T; template<typename T, bool... Bs> using …

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

5

Jak zwrócić poprawny typ danych w szablonach?

#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); } Tutaj używam szablonów w CPP, więc kiedy bigwywołuję funkcję z pominięciem argumentów doublei inttypu, chcę uzyskać …

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

1

Próbowanie zrozumienia szablonów i wyszukiwania nazw

Próbuję zrozumieć następujące fragmenty kodu Fragment nr 1 template <typename T> struct A { static constexpr int VB = T::VD; }; struct B : A<B> { }; Ani gcc9, ani clang9 nie generują tutaj błędu. P: Dlaczego ten kod się kompiluje? Czy nie A<B>dziedziczymy podczas dziedziczenia po B? W B …

9 c++ templates language-lawyer

2

Próba użycia szablonowych funkcji do zamiany dwóch łańcuchów

#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

2

Dlaczego C ++ nie może wywnioskować T w rozmowie z Foo <T> :: Foo (T&&)?

Biorąc pod uwagę następujący szablon struktury: template<typename T> struct Foo { Foo(T&&) {} }; To się kompiluje i Tmożna wywnioskować, że int: auto f = Foo(2); Ale to się nie kompiluje: https://godbolt.org/z/hAA9TE int x = 2; auto f = Foo(x); /* <source>:12:15: error: no viable constructor or deduction guide for …

9 c++ templates language-lawyer

Pytania otagowane jako templates