ADL中に関数テンプレートの優先度を下げる方法は？

Question

私は、機能の汎用バージョンfooを提供したいと思っています。これは、呼び出しに他の一致が全くない場合にのみ適用できます。 last_resort::fooがderived::typeの場合、base::fooより悪い一致となるように、次のコードを変更するにはどうすればよいですか？私はbarの定義を変更することを伴わず、last_resort::fooの引数の型を保持する解決策を見出したいと思います。

#include <iostream> 

namespace last_resort 
{ 

template<typename T> void foo(T) 
{ 
    std::cout << "last_resort::foo" << std::endl; 
} 

} 

template<typename T> void bar(T) 
{ 
    using last_resort::foo; 
    foo(T()); 
} 

namespace unrelated 
{ 

struct type {}; 

} 

namespace base 
{ 

struct type {}; 

void foo(type) 
{ 
    std::cout << "base::foo" << std::endl; 
} 

} 

namespace derived 
{ 

struct type : base::type {}; 

} 

int main() 
{ 
    bar(unrelated::type()); // calls last_resort::foo 
    bar(base::type());  // calls base::foo 
    bar(derived::type()); // should call base::foo, but calls last_resort::foo instead 

    return 0; 
} 

Answer 1

last_resort::fooはdisable_ifで設定過負荷から除去することができます。考え方は、を無効にし、それ以外の場合はfoo(T)が整形式であることです。

namespace test 
{ 

template<typename T> struct has_foo { ... }; 

} 

namespace last_resort 
{ 

template<typename T> 
    struct disable_if_has_foo 
    : std::enable_if< 
     !test::has_foo<T>::value 
     > 
{}; 

template<typename T> 
    typename disable_if_has_foo<T>::type foo(T) 
{ 
    std::cout << "last_resort::foo" << std::endl; 
} 

} 

出力：これはfooのための最悪の試合であることをlast_resort::foo(T)を引き起こし

$ g++ last_resort.cpp 
$ ./a.out 
last_resort::foo 
base::foo 
base::foo 

This answerはvoidを返す関数（foo）の存在をチェックするためのソリューションを構築する方法について説明します。

Answer 2

あなたはそれについて多くを行うことはできません。両方のfoo関数がオーバーロードセットに含まれています。しかし、last_resort型は、derived :: type（）のためにbase :: fooと違って変換を必要としないため、より良いマッチです。 2つの候補がパラメータおよび可能な変換によって判断される「同等に良好」である場合にのみ、非テンプレートが好ましい。

Answer 3

derived::typeの宣言の後に、derived::typeの場合、barのオーバーロードを指定できます。これはnamespace derivedにあるかもしれません。

void bar(derived::type) 
{ 
    foo(derived::type()); 
} 

Answer 4

これは、それを取得ほど悪くについて次のようになります。

struct badParam { template <typename T> badParam(T t) { } }; 
namespace last_resort { 
    void foo(badParam, int dummy = 0, ...) { 
    std::cout << "last_resort::foo" << std::endl; 
    } 
} 

あなたは、ユーザー定義の変換、不履行パラメータおよび未使用の省略記号を持っています。

[編集]

わずかバリアント、Tを保存するIダミーパラメータにユーザ定義の変換移動：

struct badParam { 
    badParam() { } 
    operator int() { return 42; } 
}; 
namespace last_resort { 
    template <typename T> void foo(T t, int dummy = badParam(), ...) { 
    std::cout << "last_resort::foo" << std::endl; 
    } 
}