c++ - 在 boost::variant 中使用 boost::blank 时的编译器警告

Question

我收到以下代码的警告，如果我从变体中删除 boost::blank 则会消失：

namespace DB
{
struct Value{};
struct Container{};
}

typedef boost::variant <boost::blank, DB::Value, DB::Container> CommandData;

struct Command {
    explicit Command(CommandData& _data): data(_data){
    }

    CommandData data;
};

int main()
{
    CommandData commandData;
    Command command(commandData);
    return 0;
}

这是什么问题？

这是警告：

1>: warning C4345: behavior change: an object of POD type constructed with an initializer of the form () will be default-initialized
1>          c:\boost_1_49_0\boost\variant\variant.hpp(1224) : while compiling class template member function 'boost::variant<T0_,T1,T2>::variant(void)'
1>          with
1>          [
1>              T0_=boost::blank,
1>              T1=DB::Value,
1>              T2=DB::Container
1>          ]
1>          c:\code.h(38) : see reference to class template instantiation 'boost::variant<T0_,T1,T2>' being compiled
1>          with
1>          [
1>              T0_=boost::blank,
1>              T1=DB::Value,
1>              T2=DB::Container
1>          ]

score 7 · Accepted Answer

这个警告相当愚蠢。它警告说 MSVC现在做的是正确的事情，而不是一些古老的版本。您可以使用pragma.

score 0 · Accepted Answer

这不是因为变体。例如，尝试将 int 作为结构成员而不是变体，您将收到相同的警告。事情是变体默认使用第一个值初始化，而 boost::blank 是优化变体行为的特殊类型。请参阅 Boost 中的变体文档

c++ - 在 boost::variant 中使用 boost::blank 时的编译器警告

2 回答 2

Related

Reference