等效static_asserts为is_array<>提供相互矛盾的结果
Equivalent static_asserts giving conflicting results for is_array<>
在以下代码片段中,一个静态断言通过,另一个失败:
template <class Rng> constexpr bool is_array(Rng&& r) {
// int*** debug = r; // uncomment this to debug r's type
return std::is_array<Rng>{};
// return std::is_array<decltype(r)>{}; // fails too
}
int a[5] = {0, 1, 2, 3, 4};
static_assert(std::is_array<decltype(a)>{}, ""); // passes
static_assert(is_array(a), ""); // fails
提示:删除注释以调试类型(正确推断为int [5]
)。
这是为什么呢?在叮当树干上测试。
我猜这与数组以某种方式衰减成指针有关。
解决方案:使用 std::remove_reference_t
,Rng
将被int (&)[5]
,这是对数组的引用,而不是数组。
Xeo补充说:
template<class> struct dump;
dump<decltype(r)>{};
将无法编译并显示正确的r
类型。
int**** j = r;
产生了错误的错误(说不能断言int[5]
int****
)。
Rng
的类型是int (&)[5]
,它是对数组(而不是数组)的引用,因此std::is_array
返回false_type
。
可以删除引用(例如使用 std::remove_reference_t
)以使其按预期工作。
相关文章:
- 为什么"do while"循环不断退出,即使条件计算结果为 false?
- valgrind-hellgrind与泄漏检查的结果不同
- 用C++20 fmt限制结果的总大小
- 如何返回一个类的两个对象相加的结果
- 使用QProcess执行命令,并将结果存储在QStringList中
- 如果我std::dynamic_pointer_cast并且底层dynamic_cast的结果为null,那么返回的sh
- 在没有定义返回类型的函数中返回布尔值,并将结果保存在无错误的char编译中-为什么
- 序列化,没有库的整数,得到奇怪的结果
- 使用取消引用的指针的多态性会产生意外的结果.为什么?
- 在更改for循环的第三部分后,未使用for循环结果
- 使用++运算符会导致意外的结果
- 为什么在逗号分隔符上下文中将预增量的结果强制转换为void
- C++Brute Force攻击函数不会返回结果
- 你好。。。id_public变量不应该给出结果为 81 和 86 吗?为什么它为两个派生类占用不同的内存位置?
- 算术运算的结果类似于:C浮点变量中的1/3
- ";结果类型必须是可从输入范围的值类型""构造的;创建std::vector时
- 我有两个类需要在同一 cpp 文件中相互引用,但第一个类无法识别第二个类类型的对象
- 密码登录程序将永远循环并显示不正确的结果
- C++宏中相互引用的奇怪结果
- 等效static_asserts为is_array<>提供相互矛盾的结果