模板模板参数导致Clang下的编译器错误，而不是GCC

Template template argument causes compiler error under Clang but not GCC

本文关键字：GCC 错误 参数 Clang 编译器      更新时间：2023-10-16

在帮助解决模板模板参数中模板参数过多的问题时，我脑海中出现了一个问题：在这种情况下，哪个编译器的编译是正确的：

template <template <typename, typename> class Op>
class Function
{
};
template <typename A, typename B, bool is_f = std::is_floating_point<A>::value || std::is_floating_point<B>::value > struct Operator;
template <typename A, typename B>
struct Operator<A, B, false>
{};

template <typename A, typename B>
struct Operator<A, B, true>
{};
using FunctionOperator = Function<Operator>;

int main(int argc, char * argv[]){
std::cout << "hi!n";
return 0;
}

GCC 7+编译它时没有任何错误。Clang 6和更高版本给出的错误表明作为模板参数传递的Operator模板存在问题：

tmp.cpp:19:35: error: template argument has different template parameters than its corresponding template parameter
using FunctionOperator = Function<Operator>;
^
tmp.cpp:8:1: note: too many template parameters in template template argument
template <typename A, typename B, bool is_f = std::is_floating_point<A>::value || std::is_floating_point<B>::value > struct Operator;
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
tmp.cpp:3:11: note: previous template template parameter is here
template <template <typename, typename> class Op>
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1 error generated.

显然，即使提供了默认的第三个参数，它也将其视为3参数模板。那么问题来了，哪一个编译器是对的？标准对这种情况有什么说明吗？

PS我不需要解决这类问题的方法，因为它非常简单。我只想知道"谁是对的">

Gcc是正确的。Clang似乎不符合C++17。

由于C++17(CWG 150(，允许模板模板参数使用默认模板参数来匹配模板参数较少的模板模板参数。

template<class T> class A { /* ... */ };
template<class T, class U = T> class B { /* ... */ };
template <class ...Types> class C { /* ... */ };
template<template<class> class P> class X { /* ... */ };
X<A> xa; // OK
X<B> xb; // OK in C++17 after CWG 150
// Error earlier: not an exact match
X<C> xc; // OK in C++17 after CWG 150
// Error earlier: not an exact match

Operator有3个模板参数，第三个有默认值，则它可以用作模板参数Op的参数，即使它只需要两个模板参数。

相关文章：