为模板专用化选择字符串文本类型

Selecting string literal type for template specialization

本文关键字：字符串 文本 类型 选择 专用      更新时间：2023-10-16

我正在尝试使用模板专用化，以便我可以对不同类型的行为进行专用行为。 但是，我无法获得字符串文本类型（const char[N]）的模板专用化以绑定到专用模板。

我有一个简单的模板select_type<T>，具有以下专业：

template <class T>
struct select_type
{
    static void action()
    {
        cout << "Generic type" << endl;
    }
};
template <>
struct select_type<std::string>
{
    static void action()
    {
        cout << "Specialization for string" << endl;
    }
};
template <std::size_t N>
struct select_type<const char[N]>
{
    static void action()
    {
        cout << "Specialization for const char array" << endl;
    }
};

当我尝试按如下方式实例化每个专用化时：

select_type<int>::action();
select_type<std::string>::action();
select_type<decltype("abc")>::action();

。我得到以下输出：

Generic type
Specialization for string
Generic type

请注意，不会调用char数组的专用化，即使decltype(abc)应该生成类型 const char[4] 。

我认为可能正在发生某种类型的衰减，所以我添加了const char*的专用化，但仍然没有被选中。

那么，为什么表达式：

select_type<decltype("abc")>::action();

无法调用const char[N]的专用化？

您

看到此行为是因为decltype如何推断类型。字符串文本是左值。来自 [expr.prim.general]/p1：

字符串文本是左值;所有其他文本都是 prvalues。

decltype()返回左值的左值引用类型。[dcl.type.simple]/p4

对于表达式e，用 decltype(e) 表示的类型定义如下：

（4.1） — 如果e是无括号的 id 表达式或无括号的类成员访问 （5.2.5），则decltype(e)是 e 命名的实体的类型。如果没有这样的实体，或者e命名一组重载函数， 程序格式不正确;

（4.2） — 否则，如果e是 x值，则decltype(e) T&&，其中T是e的类型;

（4.3） — 否则，如果e是左值，则decltype(e) T&，其中T是e的类型;

（4.4） — 否则，decltype(e)是e的类型。

所以你的专业需要如下：

template <std::size_t N>
struct select_type<const char (&)[N]>
相关文章：