Question

回答this 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和clang都只是特别适应。是吗？为什么？

Answer 1

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

Live example如何出错。请注意，尽管已在前一行中执行此操作，但C无法使用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的两个定义在不同的地方有不同的类型？或许不是。

Solution to the original problem that does not have this issue也发布了。

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

1 个答案: