std::is_constructible
的规则是什么?处理私有(private)构造函数?给定以下代码:
#include <iostream>
class Class {
private:
Class() { }
};
template <typename T>
class Test {
public:
static void test() {
std::cout
//<< std::is_constructible<Class>::value
<< std::is_constructible<T>::value
<< std::endl;
}
};
int main() {
Test<Class>::test();
}
这将打印
0
( ideone ),即 T
不是默认可构造的。取消注释注释行,它会打印
11
( ideone ),所以 T
突然变成了默认可构造。我可以找到支持这两个结果的理由,但我不明白包含注释行如何改变第二个结果。这是以某种方式调用UB吗?这是编译器错误吗?或者是
std::is_constructible
真的那么矛盾吗?
最佳答案
std::is_constructible
应该返回 false
在这种情况下,因为构造函数不可访问。
正如问题下方所指出的,问题中描述的行为是由 GCC/libstdc++ 中的错误引起的。错误是 reported here ,并且,根据 Bugzilla,如果不是由 access control bug for classes in template functions 引起,则与这已经很久没有解决了。这两个 bug 之间的关系取自 Jonathan Wakely 的 Bugzilla 评论,他似乎首先检测到了这两个 bug 之间的联系。
当删除构造函数而不是将其设为私有(private)时,GCC 中此场景的行为变得正确,这也暗示了这一点:
class Class {
Class() = delete;
};
打印出
0
和 00
分别。这是正确的输出(
clang
在使用私有(private)构造函数的场景中也正确报告)。这可以解释 observed change of behavior在该行中进行注释时,因为在模板化结构中的函数内部,访问检查不起作用,并报告构造函数在不可访问时是可访问的。当在下一行或可能在完全不同的位置再次检查特征时(如 here 的情况),它已经被实例化,因此会产生错误的答案。
关于c++ - std::is_constructible 为私有(private)构造函数返回不一致的值,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/60490574/