Запитання з тегом «template-meta-programming»

Чи можна написати шаблон, який змінює поведінку залежно від того, чи визначена певна функція члена в класі? Ось простий приклад того, що я хотів би написати: template<class T> std::string optionalToString(T* obj) { if (FUNCTION_EXISTS(T->toString)) return obj->toString(); else return "toString not defined"; } Отже, якщо class Tвін toString()визначив, то він його …

498 c++  templates  template-meta-programming  sfinae 

Як я можу повторити кортеж (за допомогою C ++ 11)? Я спробував таке: for(int i=0; i<std::tuple_size<T...>::value; ++i) std::get<i>(my_tuple).do_sth(); але це не працює: Помилка 1: вибачте, не виконане: не можна розширити "Слухач ..." у список аргументів фіксованої довжини. Помилка 2: я не можу відображатися в постійному виразі. Отже, як я правильно …

112 c++  c++11  iteration  template-meta-programming  stdtuple 

Мені кажуть, що система шаблонів у C ++ завершується Тьюрінгом під час компіляції. Про це йдеться у цій публікації, а також у вікіпедії . Чи можете ви надати нетривіальний приклад обчислення, що експлуатує цю властивість? Чи корисний цей факт на практиці?

111 c++  templates  template-meta-programming  turing-complete 

Питання напівжирним шрифтом внизу, проблема також узагальнена фрагментом коду перегонки до кінця. Я намагаюся об'єднати мою систему типів (система типів робить це і від типу до рядка) в один компонент (як визначено Лакосом). Я використовую boost::array, boost::variantі boost::mpl, для цього. Я хочу, щоб правила синтаксичного аналізу та генератора для моїх …

80 c++  boost  boost-spirit  template-meta-programming 

ПРОМІСЛЯ: Трохи погравши з варіативними шаблонами, я зрозумів, що досягнення всього, що трохи виходить за межі тривіальних завдань метапрограмування, незабаром стає досить громіздким. Зокрема, я виявив , бажаючи таким чином , щоб виконувати загальні операції над аргументом пакета , такі як ітерації , розкол , петлі в std::for_each-like моди, і …

77 c++  c++11  iteration  variadic-templates  template-meta-programming 

У мене є функція, яка займає багатовимірність std::vectorі вимагає передавати глибину (або кількість розмірів) як параметр шаблону. Замість жорсткого кодування цього значення я хотів би написати constexprфункцію, яка буде приймати std::vectorі повертати глибину як unsigned integerзначення. Наприклад: std::vector<std::vector<std::vector<int>>> v = { { { 0, 1}, { 2, 3 } }, …

45 c++  templates  stdvector  template-meta-programming  constexpr 

Хтось може мені пояснити, чому перший спосіб метапрограмування шаблону збирається нескінченним циклом, а другий працює правильно. #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> struct commondivs<N,N> { static const int val = N; …

38 c++  templates  template-meta-programming 

Оскільки поняття визначені як предикати часу компіляції, чи можливо також реально використовувати ці предикати для алгоритмів часу компіляції? Наприклад, чи можна було б перевірити, чи всі типи в кортежі відповідають поняттю? Наскільки я бачив, неможливо жодним чином передати поняття функції, що призводить мене до використання шаблонів для цих випадків. #include …

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

Чи законний наступний код? template <int N> class foo { public: constexpr foo() { for (int i = 0; i < N; ++i) { v_[i] = i; } } private: int v_[N]; }; constexpr foo<5> bar; Кланг приймає це, але GCC та MSVC відкидають це. Помилка GCC: main.cpp:15:18: error: 'constexpr …

11 c++  template-meta-programming  constexpr  compile-time-constant