chuyên môn hóa rõ ràng của chức năng thành viên lớp mẫu

Tôi cần chuyên biệt hóa chức năng thành viên mẫu cho một số loại (giả sử đôi ). Nó hoạt động tốt trong khi Xbản thân lớp không phải là lớp mẫu, nhưng khi tôi làm cho nó mẫu thì GCC bắt đầu đưa ra lỗi thời gian biên dịch.

#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();
}

đây là thông báo lỗi

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()

Làm thế nào tôi có thể khắc phục điều đó và vấn đề ở đây là gì?

Cảm ơn trước.

Nó không hoạt động theo cách đó. Bạn cần phải nói những điều sau đây, nhưng nó không chính xác

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

}

Các thành viên chuyên biệt rõ ràng cũng cần các mẫu lớp xung quanh của họ cũng được chuyên biệt rõ ràng. Vì vậy, bạn cần phải nói những điều sau đây, điều này sẽ chỉ chuyên biệt cho thành viên X<int>.

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

}

Nếu bạn muốn giữ cho mẫu xung quanh không chuyên biệt, bạn có một số lựa chọn. Tôi thích quá tải

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>) {

   }
};

Nếu một người có thể sử dụng, std::enable_ifchúng tôi có thể dựa vào SFINAE (lỗi thay thế không phải là một lỗi)

điều đó sẽ hoạt động như vậy (xem TRỰC TIẾP ):

#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;
}

Điều tồi tệ là, với tất cả các chuyên môn của enable_if này, chỉ cần có một chuyên môn cho trình biên dịch, nếu không sẽ phát sinh lỗi định dạng. Đó là lý do tại sao hành vi mặc định "get as T" cũng cần kích hoạt nếu.