ユニバーサル参照の使い方について

Question

前提・実現したいこと

テンプレトート引数が単純であれば通常のユニバーサル参照を引数にする関数は作れるのですが，テンプレートテンプレート仮引数の場合にうまく作れません。以下のコードでは，func1では，arrayをまるごと推論しており，右辺値も左辺値も受け取れますが，func2では右辺値しか受け取れません。fanc2をどのように修正すればよいのでしょうか。お知恵をください。

該当のソースコード

template<typename T>
void func1(T&& x){
   ///do something
}
template<typename T,size_t N,template<typename,size_t>class M>
void func2(M<T,N>&& x){
    ///do something
}
int main(){
    array<int,3> m{1,2,3};
    func1(m);
    func2(m);//No matching function for call to 'func2'
}

補足情報（FW/ツールのバージョンなど）

clang
c++17

Answer 1

そもそもFowarding Reference(Universal Reference)とは、func1でやられているように、template仮引数に対して(あるいはautoに対して)&&をつけた時の特殊な振る舞いについてを指します。

func2ではそのようになっていませんのでこれは単なるrvalue referenceです。

こういうケースでは無理やりFowarding Referenceを使おうなどと考えずに、単にoverloadを追加することでうまくいくと思います。どうしてもFowarding Referenceでとなると、template側でconceptないしSFINAEで制約することになりますが、大抵のケースで面倒なだけです。

https://onihusube.hatenablog.com/entry/2020/07/12/230540

Comments

[jbe00214]

いつも，どうも。
そうですか...　言語仕様としは無理ということですね。

[yumetodo]

無理ではないですがoverloadするほうが大抵のケースで楽だしわかりやすいということです。

[yohhoy]

FYI: 例えば書籍「Effective Modern C++ (https://www.oreilly.co.jp/books/9784873117362/ )」でも、ユニバーサル参照とオーバーロードの併用について注意喚起していますね。

項目26：ユニヴァーサル参照をとるオーバロードは避ける
項目27：ユニヴァーサル参照をとるオーバロードの代替策を把握する