Ограничение на типы параметров шаблонов в C++

А как такие веще мне смоделировать в C++ (стандарт вплоть до С++17)?

ChatGPT не говорит?

Зависит от того, что вам нужно. Можно применять static_assert для того, чтобы нельзя было подсунуть тип, не удовлетворяющий вашим условиям. Что-то вроде:

template<typename T>
class my_type {
  static_assert(std::is_base_of_v<A, T>);
  ...
};

Можно применять SFINAE для того, чтобы выбирать реализацию в зависимости от того, определены ли какие-то операции или нет.

Можно и обычной специализацией шаблонов пользоваться.

Навесь концепт с проверкой типа.

Он же вроде до C++17 (включительно) хотел. Концепты требуют C++20.

Ну да. Недосмотрел.

class Foo [T <: A] //Тип Т является расширением типа A

// с++17
#include <type_traits>

class A {};
class B : public A {};

class C {};

template<typename T,
    typename = std::enable_if_t<
        std::is_base_of_v<A, T>
    >
>
class Foo {};

int main() {
    
    Foo<A> a; // Ок
    Foo<B> b; // Ок
    Foo<C> c; // error: no type named 'type' in 'struct std::enable_if<false, void>'

    return 0;
}

Про неявное приведение надо подумать.

class Bar [T % A] //Тип T имеет неявное преобразование к типу А

Про именно неявное не знаю. Сделано на основе проверки возможности приведения указателя на T к указателю на тип A. Не уверен, что эта схема корректна. Я так у себя в коде не делал.

// c++17
#include <type_traits>

class A {};
class B : public A {};

class C {};

template<typename T,
    typename = std::enable_if_t<
        std::is_convertible_v<std::decay_t<T>*, std::decay_t<A>*>
    >
>
class Foo {};

int main() {
   
    Foo<A> a; // Ok
    Foo<B> b; // Ok
    Foo<C> c; // error: no type named 'type' in 'struct std::enable_if<false, void>'

    return 0;
}

Ну, чуть более громоздко, но похоже на правду.

И как эти указатели должны ловить неявное преобразование, например, между целочисленными типами?

Никак. Это для объектов.

Еще для этого вроде как контракты есть в последних стандартах.

Концепты в C++20. Именно контракты, о которых речь шла при работе над C++20, в стандарт пока не попали (емнип, даже в C++23).

Но ТС-у нужно было до C++17 включительно.

Причем я так и не понял что именно: способ задания ограничений на типы параметров шаблона или способ выяснения взаимоотношение между типами (как то: производен от, имеются ли преобразования, …)

Я хочу написать шаблонный метод, который будет принимать гарантированно подходящие типы, чтобы избавиться от кастов внутри самого метода. Проще говоря, мне нужна гарантия со стороны компилятора, что тот тип, который принял мой метод, пройдет.

Если у вас типы наследуются от общей базы, то может и шаблон не нужен? Достаточно ведь просто сделать метод/функцию, принимающую ссылку на базовый тип.

Если же типы у вас не связаны наследованием и таки нужен шаблон, то на мой взгляд, в C++ до 17-го стандарта включительно, проще всего использовать static_assert внутри самого шаблона. Да еще и с текстовой строкой пояснением что именно ожидается. В сообщениях об ошибках тогда проще разобраться, чем в случае, когда компилятор не находит нужную перегрузку и начинает перечислять что он попробовал, но не смог выбрать.

Вполне возможно. Я до недавнего времени так далеко в стандарты не заходил. Много новинок, надо много узнавать.

ммм балдеж — как же приятно ошибки читать если тип неверный передался при таком использовании SFINAE...