如何消除该模板的歧义？

我有一个类，它采用大小作为模板参数（现场演示 http://ideone.com/uPRNZH):

template <std::size_t SIZE> class A
{
    char b[SIZE];
}

它有多个用于不同目的的构造函数：

using const_buffer_t = const char (&)[SIZE];
using my_type = A<SIZE>;

A()                         : b{} {} // (1) no params
A(const_buffer_t)           : b{} {} // (2) copy contents of given buffer
A(const char * const)       : b{} {} // (3) copy as many items as they fit into the size
explicit A(const my_type &) : b{} {} // (4) copy constructor

// (5) copy as many items as they fit into the size
template <std::size_t OTHER_SIZE>
A(const char (&)[OTHER_SIZE]) : b{} {}

// (6) copy constructor from another sized A
// copy as many items as they fit into the size
template <std::size_t OTHER_SIZE>
explicit A(const A<OTHER_SIZE> &) : b{} {}

使用这组构造函数，以下说明没有问题：

// CASE 1
// Calls constructor 3: A<5>(const char * const)
// Expecting constructor 5: A<5>(const char (&)[11])
A<5> a("0123456789");

// CASE 2
// As expected, calls constructor 1: A<5>()
A<5> b();

// CASE 3
// As expected, calls constructor 4: A<5>(const A<5> &)
A<5> c(b);

// CASE 4
// As expected, calls constructor 6: A<5>(const A<9> &)
A<9> c(b);

但是打电话的时候A<5>("five")构造函数 2、3、4 和 5 之间存在不明确的调用。

所以我的问题是：

• 为什么构造函数 3 优于构造函数 5CASE 1?
• 有没有办法消除构造函数 2、3、4、5 当对象A<SIZE>是用与模板参数大小相同的静态数组构造的吗？

感谢您的关注。

在重载解析期间对转换序列进行排序时，数组到指针的转换被视为完全匹配（C++11 13.3.3.1.1/1 表 12）。与您的直觉相反，这意味着 (3) 和 (5) 同样适合A<5> a("0123456789");。领带断了 - 作为Xeo 在他的评论中说 https://stackoverflow.com/questions/23291042/how-to-disambiguate-this-template#comment35652352_23291042- 赞成非模板（3）。您可能会想通过将 (3) 也转换为模板来欺骗编译器：

template <typename=void>
A(const char * const) : b{} {}

但这样做会只会导致结构的歧义 http://ideone.com/2kNmWx。确实没有简单的方法可以消除歧义const char (&)[] and const char*重载：最好的解决方案可能是更改 (3) 以接受指针和长度：

A(const char * const, std::size_t) : b{} {
  std::cout << "size: " << SIZE << " ctor 3\n";
}

顺便说一句，我会注意到添加size_t论证const char* const构造函数也消除歧义A("five") case http://ideone.com/SLtms6.

编辑：但是，一种消除歧义的合理方法char*来自数组构造函数的构造函数 http://ideone.com/LUGs60，通过引用接受指针参数：

template <typename T,
  typename=typename std::enable_if<
    std::is_same<typename std::remove_cv<T>::type, char>{}
  >::type>
A(T* const&) : b{} { std::cout << "size: " << SIZE << " ctor 3\n"; }

[这个特殊技巧的功劳在于dyp https://stackoverflow.com/questions/23291042/how-to-disambiguate-this-template/23295859?noredirect=1#comment35669703_23295859，可能还有 Johannes Schaub 或 Yakk 或我（我很确定那不是我）。]

该模板通过引用有效地锁定实际类型（在发生数组到指针转换之前），然后限制对非指针类型的引用。