为类中定义的typedef定义ostream operator <<

Question

任何人都可以提供一个提示如何在提供的代码示例中正确实现operator << for MyType？

#include <iostream>
#include <map>


template <typename T>
class A {
public:
    typedef std::map<unsigned int, T> MyType;
    MyType data;

    void show();
};

template <typename T>
std::ostream& operator<<(std::ostream& stream, typename A<T>::MyType const& mm)
{
    return stream << mm.size() << "\n";
}

//template <typename T>
//std::ostream& operator<<(std::ostream& stream, std::map<unsigned int, T> const& mm)
//{
//  return stream << mm.size() << "\n";
//}

template <typename T>
void A<T>::show() {std::cout << data;}

int main() {
    A<double> a;

    a.show();

    return 0;
}

上面的代码不能编译。 但是当我将operator <<的定义更改为注释掉时，一切都正常。 这只是一个更复杂的问题的一个（非）工作示例，实际上MyType更加令人讨厌。 在这个简单的例子中，我可以很容易地从'A'类中复制粘贴MyType的精确定义，但是在更复杂的情况下，当这个typedef依赖于antoher typedef时......引用它会很好。 有没有解决这个问题的方法？

编辑：

来自编译器的输出错误（通常好像操作符<<根本没有定义，因此当来自示例的operator <<的两个定义都被注释掉时，编译器会输出相同的错误）。

g++ -O0 -g3 -Wall -c -fmessage-length=0 -std=c++14 -MMD -MP -MF"src/ostreamTest.d" -MT"src/ostreamTest.o" -o "src/ostreamTest.o" "../src/ostreamTest.cpp"
../src/ostreamTest.cpp:27:31: error: invalid operands to binary expression ('ostream' (aka 'basic_ostream<char>') and 'MyType' (aka 'map<unsigned int, double>'))
    void A<T>::show() {std::cout << data;}
                       ~~~~~~~~~ ^  ~~~~

Answer 1

问题是未推断的上下文（感谢PasserBy的链接），这使我们无法找到直接的解决方案。

解决方法可能是将typedef移出类，例如：

template <typename T>
using A_MyType = std::map<unsigned int, T>;

template <typename T>
class A
{
public:
    typedef A_MyType<T> MyType;
    MyType data;

    void show();
};

template <typename T>
std::ostream& operator<<(std::ostream& stream, A_MyType<T> const& mm)
{
    return stream << mm.size() << std::endl;
}

当然，这适用于std :: map，如果它适用于你更复杂的类 - 在不知道更多细节的情况下不可能说...

Answer 2

所以我正在做这个作为答案

#include <iostream>
#include <map>

template <typename T>
class A{
public:

    using MyType = std::map<unsigned int, T>;
    MyType data;

    void show();

    friend std::ostream& operator<<(std::ostream& stream, const MyType& mm){
        return stream << mm.size() << "\n";
    }
};

template <typename T>
void A<T>::show(){
    std::cout << data;
}

int main()
{
    A<double> a;
    std::cout << a;
    return 0;
}

但是在编译时会出现一个众所周知的构建错误：
error: cannot bind 'std::ostream {aka std::basic_ostream<char>}' lvalue to 'std::basic_ostream<char>&&'

此错误通常意味着类型推导无法正常工作（不可扣除上下文）（参见为什么模板类型推导不起作用和ostream左值错误 ）

因此，我认为，目前，你应该找到解决这个问题的另一种方法，这样我暂时想不到。