Здравствуйте, Voivoid, Вы писали:

V>Ну, например, если ничего не упустил, как-то так ( https://ideone.com/m8igyh ):
V>[ccode]
V>template <typename Iter>
V>using iter_val_t = typename std::iterator_traits< Iter >::value_type;

V>template <typename Iter, typename T>
V>constexpr bool is_T_iter_v = std::is_same< iter_val_t< Iter >, T >::value;

V>template <typename Iter>
V>constexpr bool is_wchar_iter_v = std::is_same< iter_val_t< Iter >, wchar_t >::value;

Ну не совсем так. Я хочу именно обобщение, т.е. должны приниматься и итераторы и голые указатели в этом и проблема. Но идею я понял, спасибо, попробую.