Как условие на шаблоне для класса, полученного из шаблонного базового класса, где параметр шаблона определяется полученн ⇐ C++

[Anonymous]

У меня есть базовый класс, принимающий параметр размера шаблона_ и 2 полученного класса, дающего аргумент шаблона в базовый класс.template
class BaseClass
{
size_t value = N;
};

class Derived1 : public BaseClass
{};

class Derived2 : public BaseClass
{};
< /code>
Теперь я хочу создать шаблонную функцию в любом классе, который вытекает из BaseClass. Хранится в t. < /p>
Я получаю следующее: < /p>
template
requires std::is_base_of_v
void
function(T arg) {};
< /code>
Очевидно, что это не компилируется, потому что t-общий класс и не содержит значение атрибута, единственный способ обойти это, который я обнаружил,-это добавить другой параметр шаблона size_t к функции и использовать это в BaseClass: < /p>


Подробнее здесь: https://stackoverflow.com/questions/796 ... lated-base