web-dev-qa-db-ja.com

関数テンプレートを部分的に特化できないのはなぜですか？

私は言語仕様がpartial関数テンプレートの特殊化を禁止していることを知っています。

なぜそれが禁止されているのか、その根拠を知りたいのですが？彼らは有用ではないのですか？

template<typename T, typename U> void f() {}   //allowed!
template<> void f<int, char>()            {}   //allowed!
template<typename T> void f<char, T>()    {}   //not allowed!
template<typename T> void f<T, int>()     {}   //not allowed!
c++language-designtemplate-specializationpartial-specializationfunction-templates
74
Nawaz

C++ 0xで変更されたAFAIK。

これは単なる見落としだったと思います（関数をクラスのstaticメンバーとして配置することで、より冗長なコードで常に部分的な特殊化効果を得ることができると考えています）。

関連するDR（障害レポート）があれば、それを調べることができます。

[〜＃〜] edit [〜＃〜]：これをチェックすると、他の人もそれを信じていることがわかりますが、誰も見つけることができませんドラフト標準でのそのようなサポート。 このSO thread は、C++ 0xでは関数テンプレートの部分的な特殊化がサポートされていないことを示しているようです）。

EDIT 2：「クラスのstaticメンバーとして関数を配置する」ことの意味のほんの一例：

#include <iostream>
using namespace std;

// template<typename T, typename U> void f() {}   //allowed!
// template<> void f<int, char>()            {}   //allowed!
// template<typename T> void f<char, T>()    {}   //not allowed!
// template<typename T> void f<T, int>()     {}   //not allowed!

void say( char const s[] ) { std::cout << s << std::endl; }

namespace detail {
    template< class T, class U >
    struct F {
        static void impl() { say( "1. primary template" ); }
    };

    template<>
    struct F<int, char> {
        static void impl() { say( "2. <int, char> explicit specialization" ); }
    };

    template< class T >
    struct F< char, T > {
        static void impl() { say( "3. <char, T> partial specialization" ); }
    };

    template< class T >
    struct F< T, int > {
        static void impl() { say( "4. <T, int> partial specialization" ); }
    };
}  // namespace detail

template< class T, class U >
void f() { detail::F<T, U>::impl(); }    

int main() {
    f<char const*, double>();       // 1
    f<int, char>();                 // 2
    f<char, double>();              // 3
    f<double, int>();               // 4
}
52
Cheers and hth. - Alf

一般に、オーバーロードの問題があるため、関数テンプレートを専門化することはまったくお勧めできません。 C/C++ Users Journalの良い記事を次に示します。 http://www.gotw.ca/publications/mill17.htm

そして、あなたの質問に対する正直な答えが含まれています：

一つには、それらを部分的に専門化することはできません-言語があなたにできないと言っているからという理由だけで。

13
Georgy Pashkov

まあ、実際には部分的な関数/メソッドの特殊化はできませんが、オーバーロードはできます。

template <typename T, typename U>
T fun(U pObj){...}

// acts like partial specialization <T, int> AFAIK 
// (based on Modern C++ Design by Alexandrescu)
template <typename T>
T fun(int pObj){...}

それは方法ですが、それがあなたを満足させるかどうかはわかりません。

12
Michal W

クラスを部分的に特殊化できるため、ファンクターを使用できます。

#include <iostream>

template < typename dtype , int k > struct fun
{
 int operator()()
 {
  return k ;
 }
} ;

template < typename dtype > struct fun < dtype , 0 >
{
 int operator()()
 {
  return 42 ;
 }
} ;

int main ( int argc , char * argv[] )
{
 std::cout << fun<float,5>()() << std::endl ;
 std::cout << fun<float,0>()() << std::endl ;
}
9
Kay F. Jahnke