如何正确打印C++20模块中定义的模板类型的成员值

你遇到的问题是GCC 11版本C++20模块实验性实现的已知缺陷，根因如下：

• 你在模块全局片段（module;和export module语句之间的区域）包含的<iostream>，所有声明仅在模块内部可见，不会暴露给导入该模块的其他编译单元。
• Vector<T>是模板类，其成员函数Write的代码只有在实例化时才会生成。你在main.cpp中调用vec.Write()时，实例化点位于main.cpp内，此时当前编译单元没有std::ostream& operator<<(std::ostream&, int)的可见声明，编译器错误匹配了接收void*参数的重载，直接把int值当成内存地址输出，就出现了你看到的异常打印结果。
• 你手动在main.cpp添加<iostream>包含后，实例化点可以找到正确的重载，因此输出恢复正常。

方案1：升级编译器（推荐） #

GCC 14及以上版本对C++20模块的支持已经成熟，且标准库已支持模块化导入，你可以直接在模块内导入<iostream>而非在全局片段包含，相关标准库符号会自动对模块导入方可见：

// other_library.cpp
export module mylibrary.other;
// 直接导入标准库模块，不需要放在全局片段
import <iostream>;

export template<class T> class Vector
{
private:
    T x, y;

public:
    Vector(T _x, T _y) : x(_x), y(_y) {}

    void Write()
    {
        std::cout << "Vector{" << x << ", " << y << "}\n";
    }
};

修改后main.cpp不需要做任何改动，直接导入模块即可正常运行。

方案2：旧版本编译器兼容 #

如果你必须使用GCC 11，可以在模块内部显式实例化需要用到的Vector类型，让Write函数的代码在模块内部生成，不需要在main.cpp侧实例化：

// other_library.cpp 末尾添加如下代码
template class Vector<int>;
// 如果需要用到其他类型的Vector，按照同样格式添加显式实例化即可，例如：
// template class Vector<double>;

该方案的缺点是需要提前枚举所有会用到的模板参数类型，灵活性较低。

内容的提问来源于stack exchange，提问作者alexpanter