c++ - 专门化 std::decay 有意义吗？

Question

我有一个表示数组引用的类 (class array_ref) 和另一个是(即持有/拥有/包含)数组(class array)。array_ref 的行为类似于引用。

将 std::decay 特化为 class array_ref 是否有意义？

namespace std{
template<> class decay<arra_ref>{typedef array type;};
}

我还有什么其他选择可以告诉通用程序 array 是 array_ref 的“值类型”？

是否在任何 STL 算法中使用了 std::decay？

Answer 1

标准库算法是否使用它并不重要。重要的是标准在 [meta.type.synop]/1 中所说的内容:

The behavior of a program that adds specializations for any of the templates defined in this subclause is undefined unless otherwise specified.

“本子条款”中包含所有类型特征类，包括decay。所以不要专门化它。曾经。