编译器选择了错误的运算符<<

Question

我有两个库，其中一个依赖于另一个。第一个库定义了一些枚举，并提供了一个为每个枚举打印一小段文本的运算符<<()。我有单元测试证明这是有效的。

第二个库依赖于第一个库，将枚举值传递给 std::cout （std::ostringstream 的行为相同）并获取相应的数值而不是文本。不涉及模板化代码，因此这不是模板与重载问题。我查看了预处理器输出以验证正确的定义是否可见。我正在使用 g++ 4.1.2。

我无法在我的库（有数千行）之外重现问题，因此我无法发布任何示例代码。我尝试生成示例代码也让我相信我理解它是如何工作的。我猜测其中一个标头中包含的某些内容会导致编译器在选择哪个运算符<<时做出不同的选择。使用。

我的问题：如何深入了解编译器在选择要使用的运算符版本时有哪些选择，以及为什么它选择了标准版本而不是我的版本。

编辑：根据要求添加签名： 但请注意，这个简化的示例并未表现出该问题。

第一个库的标头：

namespace utcp {
  enum GainType {AGC_GAIN_MODE, MAN_GAIN_MODE };
}

// I've tried this passing the argument by value as well.
inline std::ostream& operator<<(std::ostream &os, const hdr::GainType &val)
{...}

第二个库的代码

std::cout << "Gain Text: " << hdr::AGC_GAIN_MODE << std::endl;

Answer 1

问题是，正如评论之一提到参数依赖查找问题。当编译器执行查找 std::cout << 时my_enum_variable 它将在当前命名空间、std 命名空间以及定义 my_enum_variable 类型的命名空间中查找。只有当没有候选者时，它才会向上搜索封闭的命名空间。在这种情况下，由于任何 enum 都可以隐式转换为 int ，因此它将应用该转换，而不是在封闭的命名空间中查找。 using 指令对此没有帮助。

简单的解决方案是将重载的运算符<<移动到与枚举相同的命名空间中：

namespace utcp {
  enum GainType {AGC_GAIN_MODE, MAN_GAIN_MODE };
  inline std::ostream& operator<<(std::ostream &os, const GainType &val) {...}
}

这应该使 ADL 能够选择您的重载。

Answer 2

我建议您至少升级到 g++ 4.4 以获得一些 强类型枚举功能。

我最近升级到 4.6 并将所有枚举更改为枚举类 - 我相信强类型会让您了解代码中的错误。

Answer 3

您是否尝试将您的参数显式转换为 << ？