C++模板通过指针的函数/常量指针的函数进行的部分专用化没有什么不同

C++ template partial specialization by a function of pointer / a function of const pointer are not different?

本文关键字：指针 函数 没有什么不同 专用 C++ 常量      更新时间：2023-10-16

让我们考虑以下代码：

template <typename T>
class Foo
{};
template <typename T, typename U>
class Foo<T(*)(U* const)>
{};
template <typename T, typename U>
class Foo<T(*)(U*)>
{};

当我尝试编译它（ideone）时，它无法告诉我这两个模板专业化是相同的。这是令人惊讶的，因为通常U*和U* const是不同的东西（第二个是常量指针）。这里怎么了？

在确定函数的类型（通俗地称为其签名）时，会删除顶级cv限定符。

§8.3.5/5…函数的类型通过以下方式确定规则。。。生成参数类型列表后，任何顶级修改参数类型的cv限定符在形成函数类型。。。

对于函数指针或模板参数，没有特殊的规则可以使其无效。

你必须这样写：

template <typename T, typename U>
class Foo<T(*)(const U* )>
{};
相关文章：