c++ - 为模板特化选择字符串文字类型

Question

我正在尝试使用模板特化，以便我可以针对不同类型具有专门的行为。但是，我无法获得字符串文字类型 ( const char[N]) 的模板特化以绑定(bind)到专用模板。

我有一个简单的模板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] 的特化？

Answer 1

您看到此行为是因为 decltype 推导类型的方式。字符串文字是左值。来自 [expr.prim.general]/p1:

A string literal is an lvalue; all other literals are prvalues.

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

For an expression e, the type denoted by decltype(e) is defined as follows:

(4.1) — if e is an unparenthesized id-expression or an unparenthesized class member access (5.2.5), decltype(e) is the type of the entity named by e. If there is no such entity, or if e names a set of overloaded functions, the program is ill-formed;

(4.2) — otherwise, if e is an xvalue, decltype(e) is T&&, where T is the type of e;

(4.3) — otherwise, if e is an lvalue, decltype(e) is T&, where T is the type of e;

(4.4) — otherwise, decltype(e) is the type of e.

所以你的特化需要如下:

template <std::size_t N>
struct select_type<const char (&)[N]>