ความเชี่ยวชาญอย่างชัดเจนของฟังก์ชันสมาชิกคลาสเทมเพลต

ฉันต้องการความเชี่ยวชาญในฟังก์ชันสมาชิกเทมเพลตสำหรับบางประเภท (สมมติว่าdouble ) ทำงานได้ดีในขณะที่คลาสXไม่ใช่คลาสเทมเพลต แต่เมื่อฉันสร้างเทมเพลต GCC เริ่มให้ข้อผิดพลาดเวลาคอมไพล์

#include <iostream>
#include <cmath>

template <class C> class X
{
public:
   template <class T> void get_as();
};

template <class C>
void X<C>::get_as<double>()
{

}

int main()
{
   X<int> x;
   x.get_as();
}

นี่คือข้อความแสดงข้อผิดพลาด

source.cpp:11:27: error: template-id
  'get_as<double>' in declaration of primary template
source.cpp:11:6: error: prototype for
  'void X<C>::get_as()' does not match any in class 'X<C>'
source.cpp:7:35: error: candidate is:
  template<class C> template<class T> void X::get_as()

ฉันจะแก้ไขได้อย่างไรและปัญหาที่นี่คืออะไร?

ขอบคุณล่วงหน้า.

มันไม่ได้ผลอย่างนั้น คุณจะต้องพูดสิ่งต่อไปนี้ แต่ไม่ถูกต้อง

template <class C> template<>
void X<C>::get_as<double>()
{

}

สมาชิกที่มีความเชี่ยวชาญอย่างชัดเจนจำเป็นต้องมีแม่แบบชั้นเรียนโดยรอบเพื่อให้มีความเชี่ยวชาญอย่างชัดเจน ดังนั้นคุณต้องพูดสิ่งต่อไปนี้ซึ่งจะเชี่ยวชาญเฉพาะสมาชิกX<int>เท่านั้น

template <> template<>
void X<int>::get_as<double>()
{

}

หากคุณต้องการให้แม่แบบโดยรอบไม่มีความเชี่ยวชาญคุณมีหลายทางเลือก ฉันชอบโอเวอร์โหลด

template <class C> class X
{
   template<typename T> struct type { };

public:
   template <class T> void get_as() {
     get_as(type<T>());
   }

private:
   template<typename T> void get_as(type<T>) {

   }

   void get_as(type<double>) {

   }
};

หากสามารถใช้งานได้std::enable_ifเราสามารถพึ่งพา SFINAE ได้ (ความล้มเหลวในการทดแทนไม่ใช่ข้อผิดพลาด)

ซึ่งจะเป็นเช่นนั้น (ดูสด ):

#include <iostream>
#include <type_traits>

template <typename C> class X
{
public:
    template <typename T, 
              std::enable_if_t<!std::is_same_v<double,T>, int> = 0> 
    void get_as() { std::cout << "get as T" << std::endl; }

    template <typename T, 
              std::enable_if_t<std::is_same_v<double,T>, int> = 0> 
    void get_as() { std::cout << "get as double" << std::endl; }
};

int main() {
   X<int> d;
   d.get_as<double>();

   return 0;
}

สิ่งที่น่าเกลียดคือด้วยความเชี่ยวชาญเพียงอย่างเดียวของ enable_if ทั้งหมดนี้จำเป็นต้องพร้อมใช้งานสำหรับคอมไพเลอร์มิฉะนั้นจะเกิดข้อผิดพลาดในการลดความสับสน นั่นเป็นสาเหตุที่พฤติกรรมเริ่มต้น "รับเป็น T" จึงต้องการเปิดใช้งาน if