টেমপ্লেট শ্রেণীর সদস্য ফাংশন স্পষ্ট বিশেষীকরণ

Question 1

আমাকে কিছু ধরণের জন্য টেমপ্লেট সদস্য ফাংশন বিশেষজ্ঞ করতে হবে (আসুন ডাবল বলি )। এটি দুর্দান্ত কাজ করে যখন শ্রেণি Xনিজেই কোনও টেম্পলেট শ্রেণি নয়, তবে আমি যখন এটি টেমপ্লেট তৈরি করি তখন জিসিসি সংকলন-সময় ত্রুটিগুলি দেওয়া শুরু করে।

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

আমি কীভাবে এটি ঠিক করতে পারি এবং এখানে সমস্যাটি কী?

আগাম ধন্যবাদ.

Question 2

এটি সেভাবে কাজ করে না। আপনার নিম্নলিখিতটি বলা দরকার, তবে এটি সঠিক নয়

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

   }
};

Question 3

যদি কেউ ব্যবহার করতে সক্ষম হয় তবে 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;
}

কুরুচিপূর্ণ বিষয়টি হ'ল, এই সমস্ত সক্ষম_এফের সাহায্যে সংকলকের জন্য কেবলমাত্র একটি বিশেষায়িতকরণ পাওয়া দরকার অন্যথায় বিশৃঙ্খলা ত্রুটি দেখা দেবে। কেন ডিফল্ট আচরণ "টি হিসাবে পাবেন" এছাড়াও সক্ষম করার প্রয়োজন হয় তা ঠিক।