c++ - 此 C4702 链接时警告是否有解决方法？

Question

我正在使用 boost::variant 并且在 Release模式下编译时遇到问题。我在 VC2010 中工作，警告级别为 4，警告为错误。下面的代码在 Debug模式下编译得很好，但在 Release模式下，我在链接时收到一堆“无法访问的代码”C4702 警告(大概我在这里收到编译器警告，因为启用优化时会生成链接时代码。)

是否有人在这种情况下成功禁用了这些警告？如果可能的话，我更愿意保持高警告级别和警告作为错误。

#pragma warning( disable:4702 )

... 在这里似乎不起作用。下面是一些示例代码:

#include <boost/variant.hpp>

struct null{};
typedef boost::variant< null, double > variant_t;

class addition_visitor
: public boost::static_visitor< variant_t >
{
public:
    template< typename T, typename U >
    variant_t operator()( const T&, const U& ) const
    { 
        throw( "Bad types" );
    }

    variant_t operator()( const double& left, const double& right ) const
    {
        return variant_t( left * right );
    }
};

int main(int /*argc*/, char** /*argv*/)
{
    variant_t a( 3.0 ), b( 2.0 );
    variant_t c = boost::apply_visitor( addition_visitor(), a, b );
    return 0;
}

警告是由模板化的 operator() 触发的，我用它来捕捉将访问者应用于错误变体类型的尝试。

Answer 1

吃了一顿午餐和散步后，我有一个不满意但有效的解决方法。我没有从访问者那里返回一个变体并引发错误，而是返回一个成功 bool 值并存储一个结果，因此:

#include <boost/variant.hpp>

struct null{};
typedef boost::variant< null, double > variant_t;

class addition_visitor
: public boost::static_visitor< bool >
{
public:
    template< typename T, typename U >
    bool operator()( const T&, const U& )
    { 
        //throw( "Bad types" );
        return false;
    }

    bool operator()( const double& left, const double& right )
    {
        result = variant_t( left * right );
        return true;
    }

    variant_t result;
};

int main(int /*argc*/, char** /*argv*/)
{
    variant_t a( 3.0 ), b( 2.0 );
    addition_visitor v;
    if( !boost::apply_visitor( v, a, b ) )
    {
        throw( "Bad types" );
    }

    variant_t c = v.result;
    return 0;
}