2
template<typename T>
struct Base {
    using type_from_base = T;

    template<typename T2>
    struct template_from_base {};
};

template<typename T>
class Derived : Base<T> {
public:
//    using Base<T>::type_from_base; // error
    using typename Base<T>::type_from_base;

//    using Base<T>::template template_from_base; // error
    // ???

    type_from_base        member_1;
    template_from_base<T> member_2;
};


int main() {
    Derived<int> x{};
}

Чтобы внести имя зависимого типа из базового класса в класс-наследник с помощью using declaration, нужно явно указать ключевое слово typename. Но как внести имя шаблона в таком случае? Интересует решение как для шаблонного класса, так и для шаблонной функции.

1 ответ 1

2

Алиас для шаблона будет

template<typename T2> using
template_from_base = typename Base<T>::template template_from_base<T2>;

Для шаблонной функции ничего необычного, using Base<T>::foo;

6
  • А как вы указываете аргумент шаблона для шаблонной функции? 2 дек 2018 в 17:08
  • @cppquestions Никак 2 дек 2018 в 17:13
  • Как её вызвать из класса Derived тогда? 2 дек 2018 в 17:15
  • @cppquestions Вот как раз при вызове надо будет указать параметр шаблона. А при внесении имени - не надо 2 дек 2018 в 17:17
  • Я это и имел в виду. Не могли бы вы привести пример такого вызова? Или любой инстанции такой функции 2 дек 2018 в 17:18

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.