当不同的编译器行为不同时，就会出现问题。可惜，PVS 没有告诉我下面的危险情况。
我有一些重载的函数，但我忘记编写前向声明。因此，Visual Studio 编译一个程序，而其他编译器编译另一个程序。
我的职能：
// For simple types (i.e. int, bool, char) and plain old data
template <typename T>
void serialize(T pod, std::ostream& out) {
std::cout << "pod\n";
out.write(reinterpret_cast<const char*>(&pod), sizeof(T));
}
void serialize(const std::string& str, std::ostream& out) {
std::cout << "string\n";
serialize(str.size(), out);
out.write(str.data(), str.size());
}
template <typename T>
void serialize(const std::vector<T>& data, std::ostream& out) {
std::cout << "vector\n";
serialize(data.size(), out);
for (const T& elem : data) {
serialize(elem, out); // <== runs POD serialization for map :(
}
}
template <typename T1, typename T2>
void serialize(const std::map<T1, T2>& data, std::ostream& out) {
std::cout << "map\n";
serialize(data.size(), out);
for (const auto& p : data) {
serialize(p.first, out);
serialize(p.second, out);
}
}
我用代码对此进行了测试：
std::vector<std::map<int, int>> v;
v.emplace_back();
v[0][1] = 2;
std::stringstream ss;
serialize(v, ss);
在 VS 中测试没问题（调试版和发布版）：
vector
pod [size of vector]
map
pod [size of map]
pod [key = 1]
pod [value = 2]
但突然，我的同事告诉我，根本没有任何效果。
我已经在不同的编译器上进行了测试（感谢 Ideone 站点）。所有行为都错误（gcc 4.3.2、6.3；clang 4.0）：
vector
pod [size of vector]
pod [map]
当然，在所有函数之前放置前向声明之后，所有编译器中的一切都变得正确。
我要求实施有关前向声明的警告。