const 返回类型何时会干扰模板实例化？

Question

来自 Herb Sutter 的 GotW #6

对于非内置返回类型，按值返回通常应为 const。 ...

注意：Lakos（第 618 页）反对返回 const 值， 并指出无论如何它对于内置函数来说都是多余的 （例如，返回“const int”），他指出这可能 干扰模板实例化。

虽然 Sutter 似乎对 Lakos 按值返回非内置类型的对象时是否返回 const 值或非常量值存在分歧，但他总体上同意返回内置类型的 const 值（例如 const int ）不是一个好主意。

虽然我理解为什么这是无用的，因为返回值无法修改，因为它是右值，但我找不到这可能如何干扰模板实例化的示例。

请举例说明返回类型的 const 限定符可能会如何干扰模板实例化。

Answer 1

下面是一个涉及函数指针的简单示例：

const int f_const(int) { return 42; }
int f(int) { return 42; }

template <typename T>
void g(T(*)(T))
{
    return;
}

int main()
{
    g(&f_const); // doesn't work:  function has type "const int (*)(int)"
    g(&f);       // works: function has type "int (*)(int)"
}

请注意，Visual C++ 2010 错误地接受两者。 Comeau 4.3.10 和 g++ 4.1.2 正确地不接受 g(&f_const) 调用。