如何在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)。這會導致last_resort::foo(T)成爲foo最壞匹配：

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）的存在的溶液中。

Answer 2

你不能做太多的事情。這兩個foo函數都在重載集合中。但你的last_resort之一是一個更好的匹配，因爲它不需要像base :: foo for derived :: type（）那樣進行轉換。只有在兩個候選人通過參數和可能的轉換來判斷「同樣好」的情況下，非模板纔是優選的。

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我移動用戶定義的轉換到僞參數：

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