将模板参数与默认参数匹配

这个问题与 this one

template<class T, class U = T> class B { };
template <class ... Types> class C {  };
template<template<class> class P> class X { };

X<B>{ }; // OK
X<C>{ }; // OK

中的标准 [temp.arg.template]/3 已将这两个案例标记为正常,但 defect CWG 150 上面说 CWG clang 也不是 gcc 接受代码。

是 叮当声 合同通用条款