后备可变参数构造函数 - 为什么这样做？

Question

在回答这个问题大约要建一个可变参数转发参考构造函数,如果没有其他的构造是有效的只应被调用.也就是说,如果有:

C(const char*, size_t) { }                     // 1
template <typename... T, ???> C(T&&... ) { }   // 2

我们想要C c1{"abc", 2};调用(1),尽管需要转换,但是C c2{1, 2, 3};要调用(2),因为(1)不能应用.

我提出了以下解决方案:

template <typename... T,
          typename = std::enable_if_t<!std::is_constructible<C, T&&...>::value>
           >
C(T&&... ) { }

通过提议,我的意思是,我尝试了它,并惊讶地发现它确实有效.它编译并完成我在gcc和clang上所希望的.不过,我很茫然,解释为什么它的工作原理,甚至如果它实际上应该工作,gcc和铛都只是是特别适应.是吗？为什么？

Answer 1

您的代码的问题是我们只是is_constructible在一个上下文中实例化它得到了错误的答案.模板代码中的任何类型的缓存都可能导致错误 - is_constructible在调用构造函数后尝试在相同的参数上打印!它可能会弄错.

它是如何出错的实例.请注意,尽管在前一行中已经这样做,但它声称C不能从a构造int&.

struct C {
  C(const char*, size_t) {}
  template <class... Ts,
    typename = std::enable_if_t<!std::is_constructible<C, Ts&&...>::value>
  >
  C(Ts&&... ) { }
};

int main() {
  int a = 0;
  C x{a};
  std::cout << std::is_constructible<C, int&>{} << '\n';
}

哎呀.

我怀疑这可能是ODR违规 - 两个定义is_constructible在不同的地方有不同的类型？或者可能不是.

还发布了没有此问题的原始问题的解决方案.