パラメータに基づいてコンパイラジェネリックマップタイプを返すC++関数？

Question

私はこれを達成するためにテンプレートマジックを使用することができますが、私はどのようにわからないのですか？

std::map<int,int,std::less> forward_map; 
std::map<int,int,std::greater> reverse_map; 

?? choose(bool forward) 
{ 
    return forward_map ? forward : reverse_map; 
} 

Answer 1

同じ関数から異なる型を返すことはできません。

template <typename TF> 
decltype(auto) choose(bool forward, TF&& f) 
{ 
    return forward ? f(forward_map) : f(reverse_map); 
} 

例：

choose(true, [](auto& m){ /* `m` here is a `forward_map` */ }); 
choose(false, [](auto& m){ /* `m` here is a `reverse_map` */ }); 

Answer 2

あなたは:の両側で同じ型を返す必要があります式として三項演算子を使用できるようにするつもりはありません。また、別のパスにあるものを返す関数を持つことはできません。

これでできるのは、非タイプのテンプレートを使用してboolタイプを使用し、そのテンプレートをtrueとfalseに特化することです。これにより、同じ関数名で異なる戻り値の型を持つことができます。それはあなたに

template <bool forward> auto make_map(); 
template <> auto make_map<true>() { return std::map<int,int,std::less<int>>{}; } 
template <> auto make_map<false>() { return std::map<int,int,std::greater<int>>{}; } 

を与えるだろう行うと、あなたはこれで

int main() 
{ 
    auto map = make_map<true>(); 
    auto reverse_map = make_map<false>(); 
} 

だけの問題のようにそれを使用すると、テンプレートパラメータはコンパイル時に知られなければならないです。