c++ - 使用integer_sequence 专门化模板。海湾合作委员会 vs MSVC

Question

所以，我遇到了一段在 GCC 和 MSVC 中表现不同的代码:

#include <utility>

typedef int IType;

template<typename> struct A;

template<int... Ns>
struct A<std::integer_sequence<IType, Ns...>> {
    using type = bool; 
};

using B = typename A<std::make_integer_sequence<IType, 3>>::type;

int main() {
    B b;
}

这可以在两个编译器上顺利编译。但是，如果您将 IType 定义为 typedef long IType; MSVC 仍然有效，而 GCC 则表示:

source>:12:61: error: invalid use of incomplete type 'struct A<std::integer_sequence<long int, 0, 1, 2> >'

   12 | using B = typename A<std::make_integer_sequence<IType, 3>>::type;

      |                                                             ^~~~

<source>:5:27: note: declaration of 'struct A<std::integer_sequence<long int, 0, 1, 2> >'

    5 | template<typename> struct A;

      |                           ^

<source>: In function 'int main()':

<source>:15:3: error: 'B' was not declared in this scope

   15 |   B b;

      |   ^

Compiler returned: 1

因此，显然当 IType 很长时，GCC 无法使用 A 的第二个更专门的定义，因此失败。我真的很难理解为什么 GCC 在这里对 int 和 long 进行不同的处理。

我在编译器资源管理器中使用了 GCC 10.1 和 MSVC 19.24 来玩它。 https://godbolt.org/z/7L3xap

Answer 1

std::integer_sequence 定义为

template< class T, T... Ints >
class integer_sequence;

即值的类型为T .

所以当改变IType时至long ，也是 Ns... 的类型应更改为long... :

typedef int IType;

template<typename> struct A;

template<IType... Ns>  // <--- HERE
struct A<std::integer_sequence<IType, Ns...>> {
    using type = bool; 
};

否则您将获得 struct A<long, int, int, int> 的特化与 struct A<long, long, long, long> 不匹配(MSVC 似乎对此更宽容，但在我看来，GCC 的行为更正确)。