Question

假设以下代码：

#include <iostream>

template<typename... T>
void foo(const T &...);

template<unsigned N>
void foo(const char (&)[N])
{
   std::cout << "char(&)[N]" << std::endl;
}

void foo(const char *)
{
   std::cout << "const char *" << std::endl;
}

template<typename T>
void foo(const T &)
{
   std::cout << "Single" << std::endl;
}

template<typename First, typename... T>
void foo(const First & first, const T &... rest)
{
   std::cout << "Generic + " << sizeof...(T) << std::endl;
   foo(first);
   foo(rest...);
}

int main()
{
    const char * c = "asdf";
    char a[] = {'a', 'b', 'c', 'd'};
    foo('f', c, a, 1);
    foo(a);
}

The output is:

Generic + 3
Single              // fine; 'f' is `char` -> generic
Generic + 2
const char *        // fine; c is `const char *`
Generic + 1
const char *        // (!) not fine
Single
char(&)[N]          // fine; a is char[4]

最后一次通话 - foo(a)，其中a为char[4] - 调用我期待的版本 - template<unsigned N> void foo(const char (&)[N])。但是为什么不实例化foo调用foo(const char (&)[N]的可变参数模板，而是调用foo(const char *)呢？如果没有char数组重载，那应该是预期的 - 但为什么会在这里发生呢？ const First &不应该正确捕获数组类型吗？

此外，使用传递给它的数组使通用可变参数版本正常工作的最简单方法是什么？

正如 Matthieu M。在评论中注意到，问题可能不是由可变参数模板引起的，而是由indirection引起的：

#include <iostream>

template <unsigned N>
void foo(const char (&)[N])
{
   std::cout << "char(&)[N]" << std::endl;
}

void foo(const char *)
{
   std::cout << "const char *" << std::endl;
}

template <typename T>
void goo(T const& t) {
    foo(t);
}

int main()
{
    char a[] = {'a', 'b', 'c', 'd'};
    foo(a);
    goo(a);
}

    char(&)[N]
    const char *

他还说它可能是编译器错误 - 虽然代码在Clang 3.2 dev，G ++ 4.6和4.7中产生完全相同的结果。

R上。 Martinho Fernandes 指出，将最后一个代码段中的a类型更改为const char a[]会使代码产生const char *两次。

Answer 1

我想我可以回答第二部分：如何修复它？我不确定我是否得到了正确的答案，因为在我看来，传递字符串文字的情况仍然是错误的结果。修复的基本思想是使用完美转发，而不是希望推导出T const&的正确类型。为什么将T const&与数组一起使用会导致数组衰减，但我还没有想到。

当然，使用完美前进意味着执行此操作的功能是完美匹配，并且某些专业化实际上会进行一些转换，至少添加const。因此，有必要使用不同的名称。总的来说，这看起来像这样：

#include <iostream>
#include <utility>

void foo()
{
}

template<unsigned N>
void special(const char (&)[N])
{
    std::cout << "char(&)[" << N << "]" << '\n';
}

void special(const char *)
{
   std::cout << "const char *" << '\n';
}

template<typename T>
void special(const T &)
{
   std::cout << "Single" << '\n';
}

template<typename First, typename... T>
void foo(First&& first, T&&... rest)
{
   std::cout << "Generic + " << sizeof...(T) << '\n';
   special(std::forward<First>(first));
   foo(std::forward<T>(rest)...);
}

int main()
{
    char const* c("foo");
    char a[] = {'a', 'b', 'c', 'd'};
    foo('f', "afas", a, c, 1);
    foo(a);
}

从可变参数模板实例化调用函数时调用意外的重载

1 个答案: