操作员MSVC错误|

Question

我正在开发一个广泛使用C模板的库。在编写时，我遇到了这样的代码（当然是简化的）：

#include <sstream>

namespace ns{
    template<class A, class B>
    class c{};

    class a{};

    template<class A>
    class b{
    public:
        template<class B>
        auto
        take(A, B){
            return c<A, B>{};
        }
    };

    template<class A>
    auto
    make_b(A){
        return b<A>{};
    }

    template<class A, class B>
    auto
    operator|(A _a, B _b){
        return _b.take(_a, _b);
    }

}

using namespace ns;

int main(){
    a{} | make_b(a{});
    return 0;
}

在使用msvc 19（Visual Studio 2017）编译时，我遇到了以下错误：

/opt/compiler-explorer/windows/19.10.25017/lib/native/include/xlocale（314）：警告C4530：使用了C异常处理程序，但未启用展开语义。指定/EHsc（28）：错误C2228：左/右。采取“必须有类/结构/联合（28）：注：类型为”

/opt/compiler-explorer/windows/19.10.25017/lib/native/include/xstring（2923）：注意：请参阅正在使用[A=unsigned int，B=]编译的函数模板实例化“auto-ns：：operator |（A，B）”/opt/compiler-explorer/windows/19.10.25017/lib/native/include/xstring（2922）：注意：编译类模板成员函数“void std：：basic\u string，std：：allocator

/opt/compiler-explorer/windows/19.10.25017/lib/native/include/system\u error（658）：注意：请参阅函数模板实例化“void std：：basic\u string，std：：allocator”

/opt/compiler-explorer/windows/19.10.25017/lib/native/include/stdexcept（22）：注意：请参阅类模板实例化“std：：basic\u string，std：：allocator”

使用名称空间删除是可行的，但我不想禁止它（为什么我应该？）。有html" target="_blank">解决方案吗？

编辑：当然，我用GCC和Clang测试了代码——从4.9和clang3在GCC下编译，所以这完全是MSVC问题。

EDIT2：我查看了报告的错误，似乎MSVC在使用命名空间时，在其标准库中扩展了重载操作符的范围。




Answer 1

它是这样工作的，但我无法解释为什么它不能以原来的方式工作，希望它能帮助其他人。

虽然我的猜测是，您的模板太宽了，它被std库中的一些代码所暗示。实际上，如果您只需注释掉任何std头或使用名称空间ns删除，代码也可以工作。

namespace ns {
    template<class A, class B>
    class c {};

    class a {};

    template<class A>
    class b {
    public:
        using MyA = A;
        template<class B>
        auto
            take(A, B) {
            return c<A, B>{};
        }
    };

    template<class A>
    auto
        make_b(A) {
        return b<A>{};
    }

    template<class B>
    auto
        operator|(typename B::MyA _a, B _b) {
        return _b.take(_a, _b);
    }
}