ดึงข้อมูลประเภทเทมเพลตด้านในสุดภายในเทมเพลตนั้นเอง

เคล็ดลับปกติในการดำเนินการตามแนวทางเดิมของคุณคือการเลื่อนการประเมินออกไป:

template<class T> struct type_identity { using type = T; };

template<typename T>
struct A
{
    using type = typename std::conditional_t<
        is_a<T>::value,
        T,
        type_identity<T>>::type;
};

ยกเว้นในกรณีที่ฉันขาดอะไรบางอย่างไป ฉันแค่เชี่ยวชาญเทมเพลตบางส่วนเพื่อทำให้สิ่งต่าง ๆ ง่ายขึ้น

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

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

int main()
{
    A<double>::type a = 5.0;
    A<A<double>>::type d = 3.0;
    A<A<A<double>>>::type c = 9.5;
    return 0;
}

ตัวอย่างสด

นอกจากการพิมพ์ผิดของคุณว่าขาด typename แล้ว ปัญหาที่นี่:

using type = std::conditional_t<
    is_a<T>::value,
    T::type, // if it's an A, go deeper
    T>;      // if not, we're done

คือ std::conditional ไม่ใช่การลัดวงจร เมื่อ T ไม่มีสมาชิก type จะทำให้เกิดข้อผิดพลาด

คุณสามารถเขียนฟังก์ชันเมตาเพื่อแยกประเภทภายในแบบวนซ้ำได้:

template<class T>
struct extract_type {
    using type = T;
};

template<class T> class A;

template<class T>
struct extract_type<A<T>> {
    using type = typename extract_type<T>::type;
};

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

int main()
{
    A<A<A<A<A<double>>>>>::type d = 3.0;
    return 0;
}

ทางเลือกแทนคำตอบของ Marco (ถูกต้อง) คุณอาจต้องการใส่ตรรกะการเลือกประเภทนี้บางส่วนลงในคลาสลักษณะ:

// step 1 - predeclare the template A

template<typename T> struct A;

// define a default specialisation of a traits type
template<class T> struct ATraits
{
    using type = T;
};

// specialise the traits for the A<T> case
template<class T> struct ATraits<A<T>>
{
    using type = typename A<T>::type;
};

// now define the A template default specialisation
template<typename T>
struct A
{
    using type = typename ATraits<T>::type;
};

int main()
{
    A<A<A<A<A<double>>>>>::type d = 3.0;
    return 0;
}

คุณสามารถใช้ enable_if และ SFINAE เพื่อเลือกประเภทที่อยู่ด้านในสุดดังนี้:

template<typename T, class Enable = void>
struct A {
    using type = T;
};

template<typename T>
struct A<T, std::enable_if_t<!std::is_same_v<T, typename T::type>>> {
   using type = typename T::type;
};