Estoy tratando de escribir un rasgo de tipo para detectar si un tipo ha sobrecargado el operador << () adecuado para usar en una secuencia de salida.

Me falta algo porque siempre estoy cumpliendo para una clase vacía simple sin operadores en absoluto.

Aquí el código:

template<typename S, typename T>
class is_streamable
{
    template<typename SS, typename TT>
    static auto test(SS&& s, TT&& t)
    -> decltype(std::forward<SS>(s) << std::forward<TT>(t));

    struct dummy_t {};
    static dummy_t test(...);

    using return_type = decltype(test(std::declval<S>(), std::declval<T>()));

public:
    static const bool value = !std::is_same<return_type, dummy_t>::value;
};

class C {};

int main() {
    std::cout << is_streamable<std::stringstream, C>::value << std::endl;
    return 0;
}

Salida

1

Aquí está en ideone:https: //ideone.com/ikSBo

¿Qué estoy haciendo mal