在 switch 块中使用 QVariant::Type 的用户类型的 GCC 警告

Question

基本上，我们在 QVariant::Type 的变量中跟踪对象类型，然后做类似的事情

switch(values[i].type)
{
case QVariant::Bool: logic; break;
case QVariant::Int: logic; break;
case QVariant::LongLong: logic; break;
case QVariant::String:  logic; break;
case QVariant::Double:  logic; break;
case QVariant::DateTime:
case QVariant::Date:
case QVariant::Time:   logic; break;
case QVariant::User+1:
{
    logic;break;
}
case QVariant::User+2:
{
    logic;break;
}
default: break;
}

问题是：gcc 会为 User+X 语句产生如下警告：

 warning: case value ‘1025’ not in enumerated type ‘QVariant::Type’ [-Wswitch]

现在，我当然可以压制它，但这是推荐的方式还是我在这里做的根本错误？

附：问题不在于为什么会产生警告：我明白为什么。问题更多地是关于以适当的方式将 QVariant::Type 与用户类型一起使用，如果简单地抑制是正确的，或者我在这里做什么是完全错误的，并且警告表明存在更大的设计决策问题。

Answer 1

如果你要在 QVariant 中使用用户类型，你应该使用成员函数userType：

不幸的是，这会让事情变得更丑：

auto u = [](auto& v){return static_cast<int>(v);};
switch(values[i].userType())
{
case u(QVariant::Bool): logic; break;
case u(QVariant::Int): logic; break;
case u(QVariant::LongLong): logic; break;
case u(QVariant::String):  logic; break;
case u(QVariant::Double):  logic; break;
case u(QVariant::DateTime):
case u(QVariant::Date):
case u(QVariant::Time):   logic; break;
case u(QVariant::User)+1:
{
    logic;break;
}
case u(QVariant::User)+2:
{
    logic;break;
}
default: break;
}

澄清：请注意，当类型值大于QMetaType::User 时，type() 成员函数将始终返回QVariant::UserType。这意味着它永远不会返回QVariant::UserType+n！怎么可能？这些值不是枚举的一部分。

这就是 gcc 警告你的：

warning: case value ‘1025’ not in enumerated type ‘QVariant::Type’ [-Wswitch]

由于1025(QVariant::User+1) 不是QVariant::Type 的一部分，所以这个case 标签本质上是死代码。

但是，userType 成员函数返回 int。当该值低于QMetaType::User 时，它将返回与type 相同的基础值，并且在高于type 时返回正确的用户值。

Answer 2

来自QVariant::type enum：

QMetaType::User 1024    Base value for user types

这就像：

switch(1024) {
   ...
   case (1024 + 1): break;
   default: break;
}

enum 的切换规则是显式。

(1024 + 1) 不明确，因此发出警告。

更新

根据qvariant.html#type

返回变量中存储的值的存储类型。虽然 这个函数被声明为返回 QVariant::Type，返回 value 应该被解释为 QMetaType::Type。尤其， QVariant::UserType 在此处返回仅当值等于或 大于 QMetaType::User。

因此，QVariant::UserType + 1 将是死代码。

到refactor的时间