Perguntas com a marcação «templates»

Eu não entendo qual é o problema: no meu código ou no compilador (menos possível). Há um pedaço de código como este: #include <iostream> #include <type_traits> #include <set> template<typename T, typename = void> struct TestA: std::false_type {}; template<typename T> struct TestA<T, std::void_t<typename T::reverse_iterator>> : std::true_type {}; template<typename T> struct TestA<T, …

14 c++  templates  gcc  visual-c++  clang 

Olá, já vi muitos exemplos como este no Cppreference.com: std::is_class<T> std::is_integral E assim por diante. Eu sei se eu executo o código, por exemplo, recebo trueor false. Mas qual é o sentido disso? por exemplo, sabendo que o objeto é do tipo classe ou não? #include <iostream> #include <type_traits> struct …

14 c++  templates 

Ultimamente, escrevi uma função de modelo para resolver algumas repetições de código. Se parece com isso: template<class T, class R, class... Args> R call_or_throw(const std::weak_ptr<T>& ptr, const std::string& error, R (T::*fun)(Args...), Args... args) { if (auto sp = ptr.lock()) { return std::invoke(fun, *sp, args...); } else { throw std::runtime_error(error.c_str()); } …

14 c++  templates 

O código a seguir não compila com gcc ou clang. template<class T> class foo{}; template<class T> class template_class_with_struct { void my_method() { if(this->b.foo < 1); }; struct bar { long foo; } b; }; Mensagem de erro é error: type/value mismatch at argument 1 in template parameter list for 'template<class …

13 c++  templates  compiler-errors  compiler-bug 

Eu tenho um modelo de função que leva muitos tipos diferentes como entrada. Fora desses tipos, apenas um deles tem uma getInt()função. Portanto, eu quero que o código execute a função apenas para esse tipo. Por favor, sugira uma solução. obrigado #include <type_traits> #include <typeinfo> class X { public: int …

13 c++  c++11  templates  c++14  metaprogramming 

Quero comparar estruturas de uma maneira genérica e fiz algo parecido com isto (não posso compartilhar a fonte real, portanto, solicite mais detalhes, se necessário): template<typename Data> bool structCmp(Data data1, Data data2) { void* dataStart1 = (std::uint8_t*)&data1; void* dataStart2 = (std::uint8_t*)&data2; return memcmp(dataStart1, dataStart2, sizeof(Data)) == 0; } Isso funciona …

13 c++  templates  struct  padding  memcmp 

Quando queremos usar a static_assertem a if constexpr, devemos tornar a condição dependente de algum parâmetro do modelo. Curiosamente, gcc e clang discordam quando o código é agrupado em uma lambda. O código a seguir é compilado com o gcc, mas o clang aciona a declaração, mesmo que if constexprnão …

13 c++  templates  language-lawyer  c++17  static-assert 

Até o padrão C ++ 20 do C ++, quando queríamos definir um operador fora da classe que usa alguns membros privados de uma classe de modelo, usaríamos uma construção semelhante a esta: template <typename T> class Foo; template <typename T> constexpr bool operator==(T lhs, const Foo<T>& rhs); template <typename …

12 c++  templates  c++20 

Como os conceitos são definidos como predicados em tempo de compilação, também é possível realmente reutilizá-los para algoritmos em tempo de compilação? Por exemplo, seria possível verificar se todos os tipos em uma tupla estão em conformidade com um conceito? Até onde eu vi, não é possível passar um conceito …

12 c++  templates  template-meta-programming  c++20  concept 

Considere o seguinte código: template<int i> class A { typedef A<i-1> B; B x, y; }; template<> class A<0> { char m; }; int main() { A<LEVEL> a; } Ao comparar sua compilação por g ++ com o seguinte comando Bash (com g ++ 8.3.0) for ((level=1; level<30; ++level)); do …

12 c++  templates  gcc  compilation 

O exemplo sem sentido a seguir não é compilado, mas existe outra maneira de passar um modelo de variável como argumento de modelo? 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 

Eu tenho um código que localiza e imprime correspondências de um padrão como passando por cima do contêiner de strings. A impressão é realizada na função foo que é templated O código #include <iostream> #include <algorithm> #include <iterator> #include <vector> #include <string> #include <tuple> #include <utility> template<typename Iterator, template<typename> class …

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

Considere as 2 seguintes sobrecargas template<typename T> bool test() { return true; } template<template<typename ...> class T> bool test() { return false; } O primeiro trabalha para classes regulares, enquanto o segundo trabalha para modelos que não são instanciados. Por exemplo: std::cout<<test<int>()<<std::endl; <-- this yields 1 std::cout<<test<std::list>()<<std::endl; <--this yields 0 …

10 c++  templates  gcc  clang  c++17 

Considere o seguinte programa. #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 ); } O programa é compilado …

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

Eu tenho lido sobre como remover a referência de um tipo aqui . Dá o seguinte exemplo: #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 &>(); …

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