static_cast literal 0 для других типов в STL

Question

Какой тип может быть отлит? указатели, числовые вары. Любые другие? Будут ли следующие листы безопасными?

пс: выдержка из реализации STL итераторов

template <class Iterator> 
inline typename iterator_traits<Iterator>::difference_type* 
distance_type(const Iterator&) { 
    return static_cast<typename iterator_traits<Iterator>::difference_type*>(0); 
} 

template <class Iterator> 
inline typename iterator_traits<Iterator>::value_type* 
value_type(const Iterator&) { 
    return static_cast<typename iterator_traits<Iterator>::value_type*>(0); 
} 

Answer 1

Все виды указателей, включая указатель на функцию, указатель на член, указатель на член-функции; арифметические типы; все с конструкцией 1-arg int; что-либо с конструктором 1-arg, использующим тип, который 0 может быть неявно преобразован в. Наверное, что-то еще я не думал.

Предполагая, что iterator_traits решает std::iterator_traits, затем typename iterator_traits<Iterator>::difference_type*, конечно, тип указатель на объект, кроме, возможно, в программе, которая имеет неверную специализацию iterator_traits. Так что да, литье работает.

Если вы перепутали и определили difference_type или value_type в качестве ссылочного типа или вообще не являетесь типом, тогда у вас возникнут проблемы с этим кодом.