Как static_assert можно использовать для проверки типа элемента аргумента итератора на шаблонную функцию?

Question

У меня есть шаблон для функции, которая принимает аргумент итератора вывода. Как я могу использовать static_assert, чтобы проверить, что экземпляр использует соответствующий итератор? (Т.е., так что он является выходным итератора, и что он присваивает элементы правильного типа.)

#include <iostream> 
#include <list> 
#include <set> 

template <class OutputIter> 
void add_ints (OutputIter iter) 
{ 
    static_assert (something_goes_here, 
        "Arg must be an output iterator over ints"); 

    *iter++ = 1; 
    *iter++ = 2; 
    *iter++ = 3; 
} 

main() 
{ 
    // Insert iterator will add three elements. 
    std::set<int> my_set; 
    add_ints (std::inserter (my_set, my_set.end())); 
    for (int i : my_set) std::cout << i << "\n"; 

    // Non-insert iterator will overwrite three elements. 
    std::list<int> my_list ({ 0, 0, 0 }); 
    add_ints (my_list.begin())); 
    for (int i : my_list) std::cout << i << "\n"; 

#if 0 
    // Want nice compile error that container elements are not ints. 
    std::set<std::string> bad_set; 
    add_ints (std::inserter (bad_set, bad_set.end())); 
#endif 
#if 0 
    // Want nice compile error that argument is not an iterator. 
    class Foo {} foo; 
    add_ints (foo); 
#endif 
} 

Answer 1

OutputIterator ы не должны иметь типы значений; их value_type вполне может быть void, и на самом деле это void для чисто выходных итераторов из стандартной библиотеки.

В исходном вопросе вы проверили output_iterator_tag, но не должны. Существует множество совершенно изменчивых итераторов, которые имеют другую категорию. std::vector<int>::iterator Категория: random_access_iterator_tag, например.

Вместо этого непосредственно проверьте правильность выражений применимых выражений. Все Iterator s должны поддерживать *r и ++r, а кроме того OutputIterator s должен поддерживать *r = o, r++ и *r++ = o, так:

template<class...> 
struct make_void { using type = void; }; 

template<class... Ts> 
using void_t = typename make_void<Ts...>::type; 

template<class Iter, class U, class = void> 
struct is_output_iterator_for : std::false_type {}; 

template<class Iter, class U> 
struct is_output_iterator_for< 
    Iter, U, 
    void_t<decltype(++std::declval<Iter&>()), 
      decltype(*std::declval<Iter&>() = std::declval<U>()), 
      decltype(*std::declval<Iter&>()++ = std::declval<U>())>> : std::true_type {};