模板化的 operator=() 和重载决议

Question

考虑 following code snippet:

#include <utility>

struct test {
    template <class Other>
    test& operator=(Other&&);

    int& i_;
};


int main() {
    int i = 0;
    test t1{i}, t2{i};
    t1 = std::move(t2); // tries to select the implicitly-declared one!
}

尝试使用 GCC11.1（使用 -std=c++2a）进行编译时，它会尝试 select 编译器生成的 operator=，但已被删除，但失败了。以前的 GCC 版本成功构建了此代码。

据我了解，隐式生成的删除 operator= 不可行，因此运算符模板应该 selected。是 GCC 错误还是我遗漏了什么？

Answer 1

这似乎是一个错误。它在 GCC 11.2 上寻找模板化方法，但正如您提到的，它在 GCC 11.1 上看到已删除的方法。