当我们定义一个太大而无法解析的内置类型变量时,编译器/IDE(我使用的是 Visual Studio 2019)会立即警告该范围已被违反,甚至在编译项目之前 - “整数常量太大了”,如果我们定义一个整数。
int sum = 100000000000000000000; // E0023, "integer constant is too large"
是否可以在 c++/VS 中实现对用户定义类型的类似类型检查(我不确定这是否纯粹是 IDE 限制,但可能是 - 我是 c++ 的新手)? 在某些情况下告知超出范围会很有帮助,例如
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.
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
=== 结果 ===
作为 Lev.M.在评论中提到这种类型的快速“预编译时”分析是通过插件完成的(有时称为 linter,它们比其他静态分析器进行更多的基本检查 - 下面的链接) 显然 VC++ 2019 内置了一个新的 linter。这就是在键入代码时检查本机类型溢出的地方,似乎此时无法为 VC++ 扩展它(如果您熟悉 Visual Studio、Roslyn 等,C# 现在已经有一段时间了) .) 我想知道新的 VC++ linter 是否可以以某种方式扩展,但目前看起来不是。 将@cigien 的帖子标记为答案。
https://devblogs.microsoft.com/cppblog/intellisense-code-linter-for-cpp/
答案 0 :(得分:1)
您可以向构造函数添加检查参数是否在范围内,然后对其进行断言:
struct MonthDay
{
constexpr MonthDay (int data) : data(data)
{
if (data > 31)
{
assert(false); // months can't have more than 31 days
}
}
private:
int data;
};
只要构造函数是 constexpr
,这对用户定义的文字就可以正常工作:
constexpr MonthDay operator "" _md ( unsigned long long arg )
{
return MonthDay (arg);
}
现在你可以在初始化失败时得到一个很好的错误:
MonthDay a = 15_md; // ok
MonthDay b = 32_md; // run-time error
如果在编译时用超出范围的值初始化,这也会产生编译时错误,因为在构造函数的 assert
子句中计算了 if
:
constexpr MonthDay c = 15_md; // ok
constexpr MonthDay d = 32_md; // compile time error
这是一个demo