大佬教程收集整理的这篇文章主要介绍了自定义类型范围/值检查编译时,实时,大佬教程大佬觉得挺不错的,现在分享给大家,也给大家做个参考。
当我们定义一个太大而无法解析的内置类型变量时,编译器/IDE(我使用的是 Visual studio 2019)会立即警告该范围已被违反,甚至在编译项目之前 - “整数常量太大了”,如果我们定义一个整数。
int sum = 100000000000000000000; // E0023,"Integer constant is too large"
@H_489_7@是否可以在 c++/VS 中实现对用户定义类型的类似类型检查(我不确定这是否纯粹是 IDE 限制,但可能是 - 我是 c++ 的新手)? 在某些情况下告知超出范围会很有帮助,例如
@H_56_5@monthDay day = 32; // error,"MonthDay literal can't be greater than 31." Weight applesWeight = 2900000_kg; // "Item too heavy." Yet better if it Could also work with custom literals. @H_489_7@constexpr constructor with compile time validation 的一个版本使用
constexpr
,但这需要在变量声明中使用关键字。class A { public: constexpr A(int i) : i(i != 42 ? throw 42 : i) {} private: int i; }; // usage constexpr A ab = 43; // error,"Expression must have a constant value" constexpr A abc = 42; // ok
@H_489_7@=== 结果 ===
作为 Lev.m.在评论中提到这种类型的快速“预编译时”分析是通过插件完成的(有时称为 linter,它们比其他静态分析器进行更多的基本检查 - 下面的链接) 显然 VC++ 2019 内置了一个新的 linter。这就是在键入代码时检查本机类型溢出的地方,似乎此时无法为 VC++ 扩展它(如果您熟悉 Visual studio、Roslyn 等,C# 现在已经有一段时间了) .) 我想知道新的 VC++ linter 是否可以以某种方式扩展,但目前看起来不是。 将@cigIEn 的帖子标记为答案。
https://devblogs.microsoft.com/cppblog/intellisense-code-linter-for-cpp/
解决方法
您可以向构造函数添加检查参数是否在范围内,然后对其进行断言:
struct MonthDay { constexpr MonthDay (int data) : data(data) { if (data > 31) { assert(false); // months can't have more than 31 days } } private: int data; };
@H_489_7@只要构造函数是
constexpr
,这对用户定义的文字就可以正常工作:constexpr MonthDay operator "" _md ( unsigned long long arg ) { return MonthDay (arg); }
@H_489_7@现在你可以在初始化失败时得到一个很好的错误:
@H_56_5@monthDay a = 15_md; // ok MonthDay b = 32_md; // run-time error @H_489_7@如果在编译时用超出范围的值初始化,这也会产生编译时错误,因为在构造函数的
assert
子句中计算了if
:constexpr MonthDay c = 15_md; // ok constexpr MonthDay d = 32_md; // compile time error
@H_489_7@这是一个demo
大佬总结
以上是大佬教程为你收集整理的自定义类型范围/值检查编译时,实时全部内容,希望文章能够帮你解决自定义类型范围/值检查编译时,实时所遇到的程序开发问题。
如果觉得大佬教程网站内容还不错,欢迎将大佬教程推荐给程序员好友。
本图文内容来源于网友网络收集整理提供,作为学习参考使用,版权属于原作者。
如您有任何意见或建议可联系处理。小编QQ:384754419,请注明来意。