Perguntas com a marcação «templates»

Ocorreu algo estranho ao fazer algum modelo de metaprogramação no outro dia. Basicamente, tudo se resume a essa afirmação que não (como eu esperaria) passar. static_assert(std::is_same_v<void(), std::remove_reference_t<void()&>>); No começo, pensei que estava cometendo um erro sintático ao definir uma referência de função, mas essa afirmação passa, mostrando que esse não …

38 c++  templates  types  c++17 

Alguém pode me explicar por que o primeiro método de meta-programação de modelos está indo para um loop infinito, mas o segundo é executado corretamente. #include <iostream> using namespace std; template<int N, int M> struct commondivs { static const int val = (N<M) ? commondivs<N,(M-N)>::val : commondivs<(N-M),M>::val; }; template<int N> …

38 c++  templates  template-meta-programming 

Estou tentando definir uma função usando modelos e quero que o nome do tipo seja int ou anEnum (uma enumeração específica que eu havia definido). Eu tentei o seguinte, mas falhei: template <int | anEnum T> // or <int T, anEnum T> or <int, anEnum T> bool isFunction(const T &aVariable){} …

34 c++  templates  overloading 

Auto-explicativo. Basicamente, digamos que eu tenha listas de tipos assim: using type_list_1 = type_list<int, somestructA>; using type_list_2 = type_list<somestructB>; using type_list_3 = type_list<double, short>; Eles podem ser um número variável de listas de tipos. Como obtenho uma lista de tipos de produto cartesiano? result = type_list< type_list<int, somestructB, double>, type_list<int, …

26 c++  templates  c++17  variadic-templates 

Existe alguma maneira que eu possa fazer uma função que pega um contêiner com um tipo específico (digamos std::string) como parâmetro void foo(const std::container<std::string> &cont) { for(std::string val: cont) { std::cout << val << std::endl; } } e chamá-lo para todos os tipos de contêiner stl como entrada? como acima? …

25 c++  templates  stl  containers 

C ++ 20 permite usar o autotipo de parâmetro de função. Também permite usar autocomo um espaço reservado para argumento de modelo (não semelhante, mas no espírito do modelo C ++ 17 <auto> de certa forma) para o tipo de parâmetro de função? Portanto, o código a seguir, antes do …

22 c++  templates  auto  c++20 

No código a seguir, como posso fazer com que a linha comentada funcione da mesma maneira que a linha acima dela? Gostaria de torná-lo um código genérico, que chama o construtor adequado de um modelo Type. #include <string> #include <iostream> template <typename Type> struct Class { Type data; Class(Type data) …

21 c++  class  c++11  templates  initialization 

Eu escrevi o seguinte código que usa unique_ptr<Derived>onde unique_ptr<Base>é esperado class Base { int i; public: Base( int i ) : i(i) {} int getI() const { return i; } }; class Derived : public Base { float f; public: Derived( int i, float f ) : Base(i), f(f) {} …

21 c++  templates  inheritance  unique-ptr 

Eu tenho uma função de modelo sobrecarregada: template<typename T1, typename T2> auto overMax(T1 a, T2 b) { std::cout << __FUNCSIG__ << std::endl; return b < a ? a : b; } template<typename RT, typename T1, typename T2> RT overMax(T1 a, T2 b) { std::cout << __FUNCSIG__ << std::endl; return b …

20 c++  templates  c++17  visual-studio-2019  template-argument-deduction 

Dado o seguinte modelo de classe: template<typename T> struct Outer { struct Inner; auto f(Inner) -> void; }; definimos Innerseparadamente para cada especialização de Outer: template<> struct Outer<int>::Inner {}; template<> struct Outer<double>::Inner {}; e defina a função de membro fuma vez para todas as especializações de Outer: auto Outer<T>::f(Inner) -> …

17 c++  templates  language-lawyer  template-specialization  incomplete-type 

Eu sei que o código a seguir não será compilado. void baz(int i) { } void baz() { } class Bar { std::function<void()> bazFn; public: Bar(std::function<void()> fun = baz) : bazFn(fun){} }; int main(int argc, char **argv) { Bar b; return 0; } Porque std::functioné dito para não considerar a …

17 c++  templates  translation  std-function 

Eu tenho o seguinte código de modelo #include <vector> #include <array> #include <iostream> template<typename T1> void foo(std::vector<T1> bar) { std::cout << "GENERIC" << std::endl; } template<typename T1> void foo(std::vector<std::vector<T1>> bar) { std::cout << "SPECIFIC (vector)" << std::endl; } template<typename T1, int SIZE> void foo(std::vector<std::array<T1, SIZE>> bar) { std::cout << "SPECIFIC …

16 c++  templates 

Existe uma maneira de passar uma referência como argumento para um argumento de nome de tipo de modelo? Quero dizer, em vez de passar um int, por exemplo, para passar uma referência a um int. template <typename T> struct Foo { Foo(T arg) : ptr(arg) {} T ptr; }; int …

16 c++  templates 

Eu tenho uma função que leva dois argumentos: template <typename T1, typename T2> void foo(T1 arg1, T2 arg2) { std::cout << arg1 << " + " << arg2 << '\n'; } E uma variável que deve encaminhar seus argumentos em pares: template <typename... Args> void bar(Args&&... args) { static_assert(sizeof...(Args) % …

16 c++  c++11  templates  variadic-templates 

Eu tenho um código como template <size_t N> class A { template <size_t N> someFunctions() {}; }; Agora eu quero criar instâncias da classe e chamar as funções nela em um loop for para um conjunto de muitos valores como // in main() int main() { for (int i = …

15 c++  for-loop  templates  compile-time-constant  template-classes