Запитання з тегом «templates»

Натрапив на щось дивне, коли днями робив якусь метапрограмування шаблонів. Це в основному зводиться до цього твердження не (як я б очікував) ухваленням. static_assert(std::is_same_v<void(), std::remove_reference_t<void()&>>); Спочатку я думав, що роблю синтаксичну помилку, визначаючи посилання на функцію, але це твердження проходить, показуючи, що це не так. static_assert(std::is_same_v<void()&, void()&>); Я також спробував …

38 c++  templates  types  c++17 

Я намагаюся визначити функцію за допомогою шаблонів, і я хочу, щоб ім'я типу було або int, або anEnum (конкретна перерахунок, яку я визначив). Я спробував наступне, але не зміг: template <int | anEnum T> // or <int T, anEnum T> or <int, anEnum T> bool isFunction(const T &aVariable){} Що я …

34 c++  templates  overloading 

Пояснення самостійно. В основному, скажіть, у мене такі типи списків: using type_list_1 = type_list<int, somestructA>; using type_list_2 = type_list<somestructB>; using type_list_3 = type_list<double, short>; Вони можуть бути різною кількістю списків типів. Як отримати підбірку декартового продукту? result = type_list< type_list<int, somestructB, double>, type_list<int, somestructB, short>, type_list<somestructA, somestructB, double>, type_list<somestructA, somestructB, …

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

Чи я можу зробити функцію, яка приймає контейнер із певним типом (скажімо std::string) як параметр void foo(const std::container<std::string> &cont) { for(std::string val: cont) { std::cout << val << std::endl; } } і називати його для кожного типу контейнера stl як вхідного? як вище? std::set<std::string> strset; std::vector<std::string> strvec; std::list<std::string> strlist; foo(strset); …

25 c++  templates  stl  containers 

C ++ 20 дозволяє використовувати autoдля типу параметра параметр. Чи дозволяє це також використовувати autoяк заповнювач аргументу шаблону (не схожий, але в дусі шаблону <a +> шаблону C ++ 17) ) для типу параметра функції? Отже, наступний код, попередньо C ++ 20: template<typename First, typename Second> void printPair(const std::pair<First, Second>& …

22 c++  templates  auto  c++20 

У наступному коді, як я можу змусити коментований рядок працювати так само, як і рядок прямо над ним? Я хотів би зробити це загальним кодом, який викликає відповідний конструктор шаблону Type. #include <string> #include <iostream> template <typename Type> struct Class { Type data; Class(Type data) : data(data) { } }; …

21 c++  class  c++11  templates  initialization 

Я написав наступний код, який використовує, unique_ptr<Derived>де unique_ptr<Base>очікується 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) {} float getF() …

21 c++  templates  inheritance  unique-ptr 

У мене функція шаблону перевантажена: 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 < a …

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

Дано такий шаблон класу: template<typename T> struct Outer { struct Inner; auto f(Inner) -> void; }; ми визначаємо Innerокремо для кожної спеціалізації Outer: template<> struct Outer<int>::Inner {}; template<> struct Outer<double>::Inner {}; а потім fодин раз визначити функцію члена для всіх спеціалізацій Outer: auto Outer<T>::f(Inner) -> void { } але Кланг …

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

Я знаю, що наступний код не компілюється. 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; } Тому що std::function, як я читав у цьому іншому дописі, …

17 c++  templates  translation  std-function 

У мене є наступний шаблонний код #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 (array)" …

16 c++  templates 

У мене є функція, яка бере два аргументи: template <typename T1, typename T2> void foo(T1 arg1, T2 arg2) { std::cout << arg1 << " + " << arg2 << '\n'; } І варіант, який повинен пересилати свої аргументи парами: template <typename... Args> void bar(Args&&... args) { static_assert(sizeof...(Args) % 2 == …

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

Чи є спосіб передати посилання як аргумент на аргумент типу імені шаблону? Я маю на увазі так, замість передачі int, наприклад, для передачі посилання на int. template <typename T> struct Foo { Foo(T arg) : ptr(arg) {} T ptr; }; int main() { int* a = new int(6); Foo<decltype(a)> foo1(a); …

15 c++  templates 

Я маю подібний код template <size_t N> class A { template <size_t N> someFunctions() {}; }; Тепер я хочу створити екземпляри класу та викликати функції в ньому у циклі for для безлічі значень типу // in main() int main() { for (int i = 1; i <= 100; i++) { …

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

Я не розумію, в чому проблема: ні в моєму коді, ні в компіляторі (менш можливо). Існує такий фрагмент коду: #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, std::void_t<typename T::dummy_iterator>> : …

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