獲取C++編譯器以揭示什麼類型可以轉換爲

Question

下面是一個有缺陷的（和簡化的）模板函數，希望能夠在可以轉換爲預定義數量的類型之一的模板arg上工作。

它恰好是2種類型，但它更冷。

void do_something_type_specific(const int &unused) { std::cout << 'i'; } 
void do_something_type_specific(const std::string &unused) { std::cout << 's'; } 

template< typename Iterator > 
void perform_work_on_a_range(Iterator begin, Iterator end) 
{ 
    do_something_type_specific(*begin); 
    // Perhaps more code... 
} 

這發生在我的環境中產生所需的結果。 模板實例將成功編譯iff *Iterator產生可轉換爲其中一個選項的類型。

但是，該代碼不必要求執行轉換，並且儘管unused未被使用，但當begin == end仍然存在UB。

如何在C++ 03中實現這種行爲而沒有這些問題？

Answer 1

而不是取消引用迭代器，我的結果在begin == end時導致未定義的行爲，您可以嘗試使用std::iterator_traits<>。例如： -

#include <iterator> 
#include <string> 
#include <cstdio> 

void do_something_type_specific(std::string const&) { printf("%s\n", __PRETTY_FUNCTION__); } 
void do_something_type_specific(int const&) { printf("%s\n", __PRETTY_FUNCTION__); } 

template<class T> 
struct ProduceValue 
{ 
    static T value; 
}; 

template<class T> 
T ProduceValue<T>::value; 

// Specializations for types that can't be default constructed or must be initialized. 
template<> 
char* ProduceValue<char*>::value = ""; 

template< typename Iterator > 
void perform_work_on_a_range(Iterator begin, Iterator end) 
{ 
    typedef typename std::iterator_traits<Iterator>::value_type value_type; 
    do_something_type_specific(ProduceValue<value_type>::value); 
} 

int main() { 
    char** p = 0; 
    perform_work_on_a_range(p, p); 

    long* q = 0; 
    perform_work_on_a_range(q, q); 
} 

輸出：

void do_something_type_specific(const string&) 
void do_something_type_specific(const int&) 

唯一不方便的是，ProduceValue<T>必須專門用於類型不能默認構造或者必須爲其他原因（如char*）來初始化。

Answer 2

有一個boost::is_convertible元函數，你可以用它來確定一個類型T可以轉換成一些其他類型的U.

其次，爲begin == end，只需插入一個運行時檢查。

Answer 3

你可能想要做這樣的事情，而不是：

template <typename T> 
void do_something_type_specific() {} 
template <> 
void do_something_type_specific<int>() {...} 
template <typename Iterator> 
void perform_work_on_a_range(Iterator begin, Iterator end) { 
    do_something_type_specific<typename Iterator::value_type>(); 
} 

Answer 4

的問題有問題的代碼試圖利用這兩個模板參數和功能參數的特點。

函數參數允許類型轉換，但需要實例化類型。模板參數不需要實例化，但也不需要執行類型轉換。

下面的模式使用Boost的enable_if和is_convertible來允許編譯器選擇模板函數，就好像模板參數支持與函數參數相同的類型轉換規則一樣。（您的建議謝謝@dhavenith）

#include <boost/utility.hpp> 
#include <boost/type_traits.hpp> 

// enable_if_c makes the return type either void or a Substitution Failure. 
template < typename T> 
typename boost::enable_if_c<boost::is_convertible<T,int>::value>::type 
do_something_type_specific() 
{ 
    std::cout << 'i'; 
} 

template < typename T> 
typename boost::enable_if_c<boost::is_convertible<T,std::string>::value>::type 
do_something_type_specific() 
{ 
    std::cout << 's'; 
} 

template< typename Iterator > 
void perform_work_on_a_range(Iterator begin, Iterator end) 
{ 
    // This code is from @MaximYegorushkin's answer. Vote him up :) 
    typedef typename std::iterator_traits<Iterator>::value_type value_type; 
    do_something_type_specific<value_type>(); 
    // Perhaps more code... 
} 

這已被證實與@ MaximYegorushkin的樣本爲主。

int main() { 
    char** p = 0; 
    perform_work_on_a_range(p, p); 

    long* q = 0; 
    perform_work_on_a_range(q, q); 
} 

輸出：

si