テンプレート静的クラスメソッドの特定のインスタンスの命名規則

Question

テンプレート静的メソッドの特定のインスタンスの命名規則は何ですか？

すべて以下attemptsが間違っているように見える：

struct S 
{ 
    template<int x> static int f() { return x; } 
    using g1 = f<1>; 
    template using g2 = f<1>; 
    template<> using g3 = f<1>; 
}; 

Answer 1

このworks：私たちは、特定のテンプレート関数のインスタンスに名前を付けるauto&を使用することにより

#include <iostream> 

struct S { 
    template<int x> static int f() { return x; } 
}; 

auto& g = S::f<1>; 

int main() { 
    std::cout << g() << std::endl; 
    return 0; 
} 

。

Answer 2

C++は、あなたがそれを持ち上げるために必要

（hereを参照してください）のテンプレートメソッドを持つローカル構造体が好きではありません。また、typedefのためにdecltypeを使いたいと思っていますか？例えば

typedef decltype(f<0>) t; 
using g1 = decltype(f<0>); 

これらは、あなたにタイプを与えるだけです。おそらくそれらを直接呼び出すのが最も良いでしょう。 S ::ここg1f<1>ない< 0>など

Answer 3

struct S { 
    template<int x> static int f() { return x; } 
    static int g1() { return f<1>(); } 
}; 

ノートF - 例えば&S::f<1> != &S::g1。しかし、それを呼び出すのと同じ効果があります。 （いくつかのリンカーでは、これは当てはまらないかもしれません; msvcリンカー、または金リンカーが積極的に設定します）

Answer 4

usingはエイリアスを定義します。 usingは、クラス、型などのエイリアスを定義します。エイリアスと特殊化は、全く異なる2つのことです。

f()はクラスではありません。それは方法です。この種のクラス、さまざまな種類、および事柄には、usingまたはtypedefという別名を付けることができます。しかし、関数やメソッドではありません。

あなたはクラスメソッドを専門にしたい場合は、クラス外メソッドのための特殊化を定義します。

template<> 
int S::f<1>() 
{ 
    return 0; // Or whatever your specialization function needs to do. 
} 

あなたが関数のエイリアスをしたい場合は、これは基本的にラッパーです：

int f1() 
{ 
    return f<1>(); 
} 

したがって、f1()を呼び出すと、特殊なメソッドが呼び出されるようになりました。

静的クラスメソッドの特殊化とエイリアスを行う場合は、余計なことがあります。クラス内でラッパーをインラインで定義することはできません。これは、専門化がまだ宣言されていないためです。あなたはラッパーを宣言しなければなりません。その後、特殊化を定義した後、それを定義します。これは実際には、リンク時に重複したシンボルを避けるために、ヘッダファイルに入っている場合

#include <iostream> 

struct S 
{ 
    template<int x> static int f() { return x; } 
    static int f1(); 
}; 

template<> 
int S::f<1>() 
{ 
    return 0; 
} 

inline int S::f1() 
{ 
    return f<1>(); 
} 

int main() 
{ 
    std::cout << S::f<4>() << std::endl; 
    std::cout << S::f<1>() << std::endl; 
} 

inlineが必要とされています。すべてが1つの翻訳単位に入ったら、inlineを落とすことができます。