У меня есть разные типы view , каждый из которых имеет константу-член std::size_t View::dimension и тип члена typename View::value_type . Следующая проверка типа компиляции должна проверить, являются ли From и To представлениями (проверено...

В C++17 , void_t можно легко делать SFINAE с class / struct шаблонами: template <class T, class = void> struct test { static constexpr auto text = "general case"; }; template <class T> struct test<T,...

У меня есть тип шаблона, который параметризован определенным типом указателя. (как итератор). Я хочу, чтобы этот тип можно было неявно преобразовать в свою версию с квалификатором const (например, thing<const int*>(const...

Я хочу написать функцию, которая возвращает экземпляр типа T, но ведет себя по-разному в зависимости от того, как может быть построен T. Скажем, у меня есть такие структуры #include <type_traits>...

Я настраиваю функцию шаблона с переменным числом аргументов, чтобы иметь возможность вызывать различные перегрузки функций для определенной серии классов. До сих пор мне удавалось «сломать» компиляцию, когда в функцию передается неподдерживаемый...