模板 c++ 编译器差异 VC++ 不同的输出

Question

我在 Visual Studio 中编写了一些 C++ 代码，并试图在 linux 服务器上的我的 C++ 代码中运行它。然而，当我尝试用 G++ 编译它时，它编译失败并出现大量错误。我查看了错误并能够将问题简化为：

template<int x>
struct Struct
{
    template<int y>
    static void F()
    {
        //Struct<x>::F<0>(); // compiles
        //Struct<y>::G(); // compiles
        Struct<y>::F<0>(); // does not compile?
    }

    static void G()
    {
    }
};

int main ()
{
    Struct<0>::F<0>();
}

在 Visual Studio 上，此代码编译得很好，但在 G++ 或 Clang++ 上，它无法编译。 G++ 8.3.0 上的错误：

test.cpp: In static member function ‘static void Struct<x>::F()’:
test.cpp:9:19: error: expected primary-expression before ‘)’ token
   Struct<y>::F<0>(); // does not compile?
                   ^
test.cpp: In instantiation of ‘static void Struct<x>::F() [with int y = 0; int x = 0]’:
test.cpp:19:18:   required from here
test.cpp:9:15: error: invalid operands of types ‘<unresolved overloaded function type>’ and ‘int’ to binary ‘operator<’
   Struct<y>::F<0>(); // does not compile?

Clang++ 错误：

5691311/source.cpp:9:19: error: expected expression
            Struct<y>::F<0>(); // does not compile?
                            ^

现场观看：https://rextester.com/AAL19278

您可以更改编译器并复制代码以查看不同的错误。

我是否可以解决这个问题，以便我的代码可以在 G++ 或 Clang++ 上编译？

原码：

template<int x, int y>
ThisType add()
{
    return ThisType::Create(this->x() + x, this->y() + y);
}

ResultPos to = p.add<0, 1>();

Answer 1

template<int x>
struct Struct
{
    template<int y>
    static void F()
    {
        Struct<y>::F<0>(); // does not compile?
    }
};

不应该编译。您需要为编译器指定 F 实际上需要模板列表，因为 F 是依赖模板类型。否则，编译器将假设下一个 < 小于。

template<int x>
struct Struct
{
    template<int y>
    static void F()
    {
        Struct<y>::template F<0>();
    }
};

我假设 Struct<x>::F<0> 有效，因为编译器已经知道当前类型是 Struct<x>，但它不知道 y 与 x 相同这种情况。

模板 c++ 编译器差异 VC++ 不同的输出

Template c++ compiler differences VC++ different output

c++

visual-c++

g++

clang++