std::is_constructible 没有给出正确的结果[重复]

Question

源自thisCodeReview话题：

#include <cstddef>
#include <algorithm>
#include <iostream>
#include <type_traits>
#include <utility>

template <typename T>
class aggregate_wrapper : public T {
private:
  using base = T;

public:
  using aggregate_type = T;

  template <typename... Ts>
  aggregate_wrapper(Ts&&... xs)
      : base{std::forward<Ts>(xs)...} {
    // nop
  }
};

struct foo_t {
  foo_t(int) {}  
};

int main() {
  std::cout << std::is_constructible<foo_t>::value << std::endl;
  std::cout << std::is_constructible<aggregate_wrapper<foo_t>>::value << std::endl;
  // aggregate_wrapper<foo_t> v; // won't compile
}

aggregate_wrapper<foo_t> v; 没有实际编译时，std::is_constructible<aggregate_wrapper<foo_t>>::value 怎么可能是真的？

Answer 1

在 C++ 标准中，在 is_constructible 描述中，有这样看似无辜的引用：

仅考虑 [imaginary v] 变量初始化的即时上下文的有效性。

然后是解释其含义的注释：

初始化的评估可以导致边 例如类模板特化和函数模板特化的实例化， 生成隐式定义的函数，等等。此类副作用不在即时上下文中，并可能导致程序格式错误。

我的解释是当你写的时候：

aggregate_wrapper<foo_t> v;

您正在使用aggregate_wrapper 的默认构造函数，它存在并且可以访问，所以它成功了，至少在即时上下文中是这样。然后，非立即上下文包括构造函数的主体，这会失败，但不会改变 is_constructible 的结果。