C++ çoklu şablon parametreleri ile tek şablon uzmanlığı

Question

Hallo!

İki şablon türünden yalnızca birini uzmanlaştırmak istiyorum. Örneğin. template <typename A, typename B> class X tek bir işlev için X<float, sometype>::someFunc() özel bir uygulama olmalıdır.

örnek kod:

main.h:

#include <iostream> 

template <typename F, typename I> 
class B 
{ 
public: 
    void someFunc() 
    { 
     std::cout << "normal" << std::endl; 
    }; 

    void someFuncNotSpecial() 
    { 
     std::cout << "normal" << std::endl; 
    }; 
}; 

template <typename I> 
void B<float, I>::someFunc(); 

main.cpp:

#include <iostream> 
#include "main.h" 

using namespace std; 

template <typename I> 
void B<float, I>::someFunc() 
{ 
    cout << "special" << endl; 
} 

int main(int argc, char *argv[]) 
{ 
    B<int, int> b1; 
    b1.someFunc(); 
    b1.someFuncNotSpecial(); 

    B<float, int> b2; 
    b2.someFunc(); 
    b2.someFuncNotSpecial(); 
} 

Derleme class B için başarısız olur. Bu doğru mu, C++ bu şekilde mümkün değil mi? En iyi çözüm ne olurdu? 26:

[değiştir]

template <float, typename I> void B<float, I>::someFunc(); main.h'da yol açar hatası: 27: float

template <typename I> void B<float, I>::someFunc(); main.h'da giden bir şablon sabit parametre için geçerli bir tür değildir: hata: eksik 'tip B' türü geçersiz kullanımı '

Ve gcc kullanıyorum.

[değiştir] Bir ihtisas olmayan diğer işlevleri gibi, bütün sınıfı uzmanlaşmak istemiyoruz

. Ayrıca, sadece uzmanlık içinde someFunc tanımlayabilir

template <typename I> 
class B<float, I> 
{ 
public: 
    void someFunc(); 
}; 

template <typename I> 
void B<float, I>::someFunc() 
{ 
    ... 
} 

:

Answer 1

class şablon B bir kısmi uzmanlık sağlamak gerekir. Yalnızca bir işlevi uzmanlaştırmak istiyorsanız ve bir sınıfın yapmasını istemiyorsanız, Ancak, Ancak, bir işlevi uzmanlaştırmak istiyorsanız, e. g.

template <typename F, typename I> 
void someFunc(F f, I i) { someFuncImpl::act(f, i); } 

template <typename F, typename I> 
struct someFuncImpl { static void act(F f, I i) { ... } }; 

// Partial specialization 
template <typename I> 
struct someFuncImpl<float, I> { static void act(float f, I i) { ... } }; 

Ancak bu numara olmadan bir işlev şablonunu uzmanlaştıramazsınız.

Answer 2

Although you can totally specialize member functions of a class template, you cannot _partially specialize member functions. - Andrei Alexandrescu

kısmi Sınıf uzmanlık diğer afiş ile açıklanmaktadır.

Ancak, kullanım aşırı edebilirsiniz:

template <class T, class U> T fun(U obj); // primary template 
template <class U> void Fun<void, U>(U obj); // illegal pertial 
// specialization 
template <class T> T fun (Window obj); // legal (overloading) 

derin bu işe, A. Alexandrescu'nun "Modern C++ Tasarım" derinlemesine bu konuda okuyabilir gitmek istiyorum.

Answer 3

Çözüm 1. tüm uygulamaları B_Base gibi bir temel sınıfa taşıyın. sonra bazıFunc geçersiz kılmak için şamandıra üzerinde uzmanlaşmak. Çözüm

template <typename F, typename I> 
    class B : B_Base<F, I> 
    { 
    } 

    template <typename I> 
    class B<float, I> : B_Base<flat, I> 
    { 
    public: 
     void someFunc() {....} 
    }; 

altında 2. kullanım fonksiyonu aşırı gibi, girdi olarak şamandıra koymak veya artırmak :: is_same merkeze.ne yazık ki, işlevinde bazıFunc parametresinde yok. bu yüzden arayüzü değiştirmek gerekiyor.