テンプレートパラメータとして基本クラスへの参照を渡す

Question

私はクラスの各インスタンスの関数テンプレートを特化しようとする次のコード（それが誘導されていてもよい）を有する：

class Base { 
}; 

class Derived:public Base { 
}; 

template<Base& b> 
void myfunction() { 
    //use b somehow 
} 

Derived myobject; 

int main() { 
    myfunction<myobject>(); //this does not work 
} 

コード結果を私は、静的与えられ、タイプBaseの静的インスタンスへの参照を渡すにはどうすればよい

candidate template ignored: invalid explicitly-specified argument for template parameter 'b' 

[live demo]

：エラーメッセージでオブジェクトmyobject？

Answer 1

は[temp.param]/4に係る基準としてテンプレート非型パラメータを宣言する結構です中：

非型テンプレートパラメータは、以下 （任意にCVのいずれかを有するもの-qualified）タイプ：

• ...
• 左辺参照オブジェクトまたは関数への左辺値参照する、
• ...

引数が[temp.arg.nontype]/2に制限に従う必要があります。

を非型テンプレートパラメータのテンプレート引数は 変換定数式でなければなりませんテンプレートパラメータのタイプの 参照またはポインタ型の非型テンプレートパラメータは、定数式の 値がを参照してはならない（またはポインタ タイプのためのアドレスであってはならない）：

• 明示的にあなたがやろうとしているもの禁じサブオブジェクト、
• ...

。 bは、サブオブジェクトを参照することになります。

このコンパイルを行います唯一の解決策は、別の過負荷を加えている。

template<Derived & d> 
void myfunction() 
{ 
    //use d somehow 
} 

ですから、何とか、共通のコードを抽出する必要があります。

それとも、あなたが持っている場合はC++利用できる17：

template<auto& b, std::enable_if_t< 
        std::is_base_of_v<Base, std::decay_t<decltype(b)>> 
        , void*> = nullptr> 
void myfunction() 
{ 
    //use b somehow 
} 

私はあなたがしかし、あなたの一般的なアプローチを再考示唆しています。