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 =...
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...
template<class Msg, class... Args> std::wstring descf(Msg, Args&&... args) { std::wostringstream woss; owss << Msg << ". " << ... << " " << args << ": '" << args << "' ";//not legal at all //or owss << Msg << ". "...
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...
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...
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*...
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...
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...
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;...
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...
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...
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...
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>() <<...
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...
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 com sucesso e sua saída é g( 42 ); Agora...
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...
Dado o seguinte modelo struct: template<typename T> struct Foo { Foo(T&&) {} }; Isso compila e Tdeduz-se a ser int: auto f = Foo(2); Mas isso não compila: https://godbolt.org/z/hAA9TE int x = 2; auto f = Foo(x); /* <source>:12:15: error: no viable constructor or deduction...
Estou tentando entender os seguintes trechos de código Snippet # 1 template <typename T> struct A { static constexpr int VB = T::VD; }; struct B : A<B> { }; Nem o gcc9 nem o clang9 lançam um erro aqui. P. por que esse código é compilado? Não estamos instanciando A<B>ao...
#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 = 10 , b = 20; std::string first = "hi" , last =...
Gostaria de passar um ponteiro de função de uma matriz de ponteiros de função como um argumento de modelo. Meu código parece compilar usando o MSVC, apesar do Intellisense reclamar que algo está errado. O gcc e o clang falham ao compilar o código. Considere o seguinte exemplo: static void test()...