为什么不能用 [[deprecated]] 弃用模板？

Question

C++14 允许将[[deprecated]] 属性应用于（根据 7.6.5/2）“类的声明、类型定义名称、变量、非静态数据成员、函数、枚举或模板特化。”值得注意的是缺少模板。所以给定一个模板：

template<class T>
class MyOldRefCountingPointer {
    ...
};

我可以弃用，比如说，MyOldRefCountingPointer<void>，

template<>
class
[[deprecated ("Use std::shared_ptr<void> instead of MyOldRefCountingPointer")]]
MyOldRefCountingPointer<void> {
    ...
};

但我不能弃用通用模板：

template<class T>
class
[[deprecated ("Use std::shared_ptr instead of MyOldRefCountingPointer")]]
MyOldRefCountingPointer {
    ...
};

为什么不允许弃用模板？

更新

如何使用已弃用的模板而不产生警告的示例如下：

template<class T>
class
[[deprecated]]
OldClass {};

template<template<class> class C = OldClass>   // use deprecated template as
void f()                                       // default template parameter
{
}

g++ 和 Clang 都不会在此处发出警告。 Example at Coliru.

Answer 1

在 C++11 和 C++14 中，属性不能属于模板。给定：

template<typename T> struct [[deprecated]] C { ... };

[[deprecated]] 属于从模板实例化的类，不 属于模板本身。特别是，如果你这样写：

template<typename T> struct C<T*> { ... };

...然后C<int> 被弃用，但C<int*> 不是。

支持弃用模板的自然方法是允许在 template-declaration 上添加 attribute-specifier-seq：

[[attribute]] template<typename T> struct C { ... };

...但目前不支持该语法，到目前为止还没有添加它的提议。

Answer 2

我很确定它属于一般不推荐使用的类（对于可以模板化的所有其他内容也是如此）。

不管怎样，g++ 和 clang++ 都没有抱怨：coliru