Метапрограммирование: альтернативные критерии выбора шаблона для определения функции

В этом вопросе исследуется концепция определения шаблона на основе возможности преобразования типа к строке. Исходный код использует признак типа is_arithmetic, но вместо этого предлагается использовать критерий, который оценивает, определен ли to_string для типа.

Однако противоположность этому критерию, определяющая, когда to_string не определен, доказывает испытывающий. Следующий код завершается с ошибкой:

template enable_if_t
Для решения этой проблемы в ответе предлагается использовать признак типа void_t Уолтера Брауна, который позволяет создавать следующее:
template<typename T, typename = void>
struct has_to_string
: std::false_type { };

template<typename T>
struct has_to_string<T, 
    void_t<decltype(std::to_string(std::declval<T>()))>
    > 
: std::true_type { };
Этот признак типа эффективно оценивает, определена ли to_string для данного типа, тем самым предоставляя альтернативный критерий выбора шаблона, который более точно соответствует исходному замыслу.