带有模板专门化的标记分派

分派专用标记是否有效?下面的代码可以编译并运行,没有任何错误。但我仍然想确认这样做是否有效。

template <typename T, typename = void>
struct tag {};

// Specialize the tag
template <typename T>
struct tag<T, typename std::enable_if<std::is_arithmetic<T>::value>::type> {};

template <typename T>
T func(int i) {
    return real_func(tag<T>(), i);
}

string real_func(tag<string>, int i) {
    return to_string(i);
}

template <typename T>
T real_func(tag<T,  // <--------- Is this valid?
                typename std::enable_if<std::is_arithmetic<T>::value>::type>,
            int i) {
    return static_cast<T>(i);
}

还有,有没有其他方法可以达到同样的目标?