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)이 잘 구성된 경우 last_resort::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; 
} 

} 

출력 :

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

This answer이 void를 반환하는 함수 (foo)의 존재를 확인하기위한 솔루션을 구축하는 방법에 대해 설명이 foo에 대한 최악의 경기로 last_resort::foo(T)됩니다.

Answer 2

많은 작업을 수행 할 수 없습니다. 두 foo 함수는 오버로드 집합에 있습니다. 그러나 last_resort는 더 나은 일치입니다. 왜냐하면 derived :: type()에 대해 base :: foo와는 달리 변환을 요구하지 않기 때문입니다. 두 후보자가 매개 변수와 가능한 전환으로 판단 할 때 "동등하게 우수"한 경우에만 비 템플릿이 선호됩니다.

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; 
    } 
} 

당신은 사용자 정의 변환하는 궐석 매개 변수 및 사용되지 않는 생략 부호를 가지고있다.

[편집]

약간 변형, I는 상기 더미 파라미터 사용자 정의 변환 이동 T을 저장 :

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; 
    } 
}