模板中的隐式转换和编译器强制

Question

我有这个非常简单的包装模板：

template<class T>
struct wrapper {
    inline operator T () {
        return v;
    }

    inline wrapper(T v):v(v) { }

    T v;
};

尝试将它与任何非原始类型一起使用（例如）依赖于定义它的模板的比较运算符看起来不太有希望：

std::string t = "test";
assert(t == t);

typedef wrapper<std::string> string_wrapper;
assert(string_wrapper(t) == string_wrapper(t));

GCC 4.4.5 抱怨这个错误：

error: no match for ‘operator==’ in ‘wrapper<std::basic_string<char> >(std::basic_string<char>(((const std::basic_string<char>&)((const std::basic_string<char>*)(& t))))) == wrapper<std::basic_string<char> >(std::basic_string<char>(((const std::basic_string<char>&)((const std::basic_string<char>*)(& t)))))’

什么是有趣的问题是 GCC 对模板进行三重转换，然后无法使用为 std::string 定义的 operator == 。

我不认为隐式强制转换是不可能的，因为如果我将 std::string 更改为 int 或 double, bool< /code> 或任何原始的东西，GCC 将选择正确的运算符。

我不想为包装器结构定义 operator == ，因为该运算符只是一个示例，我需要 wrapper 来“感觉”就像真实类型一样运营商。

只是在转换中，GCC 误解了我的语法，如果我创建一个包装器并尝试将其与自身进行比较，GCC 会再次抱怨（尽管没有三重转换）它找不到匹配的 == 运算符：

typedef wrapper<std::string> string_wrapper;
string_wrapper tw(t);
assert(tw == tw);

error: no match for ‘operator==’ in ‘tw == tw’

Why can't GCC find and/or use当 wrapper 提供强制转换时，std::string 运算符 == std::string ？

Answer 1

该运算符 T 称为“转换运算符”或“转换函数”，而不是强制转换。 “转换”是隐式的；铸造是明确的。

编译器找不到 std::string 的运算符==，因为重载解析规则不允许发生这种情况。有关您真正想要做的事情的更多详细信息可能有助于提供解决方案。

Answer 2

显然这是 GCC 4.5 的一个错误。该代码是有效的，与 Fred Nurk 所说的不同。

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45383

Answer 3

提问者用一些海湾合作委员会公关回答了自己，但这实际上并没有回答他的问题。

原因就像@Fred 描述的那样。减少它：

template<typename T>
struct A {
  operator T() { return T(); }
};

int main() {
  A<std::string>() == A<std::string>();
}

编译器能做什么？它可以对两个操作数调用operator std::string()，然后进行比较。但为什么它首先要执行该调用呢？它首先需要找到一个具有两个 std::string 类型参数的 operator==。让我们看看它的运算符是如何定义的

template<class charT, class traits, class Allocator>
bool operator==(const basic_string<charT,traits,Allocator>& lhs,
                const basic_string<charT,traits,Allocator>& rhs);

。这样我们就得到了它。它首先需要进行模板参数推导，并且 A 与 const basic_string<> 不匹配的事实将使得这个 operator== 被忽略。您很幸运，无论如何使用 ADL 都能找到 operator== ，以便它首先进行参数推导（因为 std::string 是您类型的模板参数，它将通过 ADL 考虑命名空间 std 并找到此运算符）。

所以我们没有合适的 operator== 来调用，因此 GCC 可以拒绝你的代码，原因是 @Fred 简而言之。最后，试图让一个类表现得像另一种类型被认为是失败的。