0
template <class T>
class A {};

A<int> a;

Теперь, нужно объявить переменную b такого типа, который является специализацией a. (В данном случае int, а если бы было A< double > a, то b должна была быть объявлена как double)

3 ответа 3

3

Если не хочется менять class A, тогда так:

template <typename T> struct foo {};
template <typename T> struct foo<A<T>> {using type = T;};
template <typename T> using foo_t = typename foo<T>::type;

A<int> a;
foo_t<decltype(a)> x; // int x

В принципе, вводить foo_t не обязательно. Можно каждый раз писать typename foo<decltype(a)>::type x;, но это довольно неудобно.

2

Такой вариант не слишком пугает?...

template <class T>
class A
{
public:
    using type = T;
};


int main(int argc, const char * argv[])
{
    A<int> a;
    decltype(a)::type b;
    cout << typeid(b).name() << endl;
}
4
  • А если объекты в массиве A<double> a[2] = {A<double>(), A<double>()};? В этом случае decltype(a[0])::type b; компилятор ругается
    – ibse
    8 мар 2019 в 18:08
  • @zhukov std::remove_extent_t<decltype(a)>::type b;, либо std::remove_reference_t<decltype(a[0])>::type b;. 8 мар 2019 в 18:11
  • @HolyBlackCat Если массив передаётся в шаблонную функцию func(a), то компилятор ругается. Прототип функции: template<class T> void func(T a[]) В теле функции я пишу строчку: std::remove_extent_t<decltype(a)>::type b; на std::remove_extent_t<decltype(a[0])>::type b; тоже ругается
    – ibse
    8 мар 2019 в 18:34
  • @zhukov Второй вариант сработает, но вы его переписали неточно. Там reference вместо extent. 8 мар 2019 в 19:07
0

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

template <typename T, unsigned I> struct ArgTi;

template <template <typename ...> class T, typename ...Args, unsigned I>
struct ArgTi<T<Args ...>, I>
{
  using type = typename std::tuple_element<I, std::tuple<Args ...>>::type;
};

а потом

A<int> a;
ArgTi<decltype(a), 0>::type b; // <-- int

Ваш ответ

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

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