Visual Studio - 无法返回值时无编译错误

Question

问题. 请参阅下面的代码...我错过了该return field;语句,并没有发现它的一些调试运行.我永远不会想到这样的东西会在没有错误的情况下通过编译器!为什么呢？

描述 我有一个解析器对象,用于std::tr1::function在构造时接收转换算法.翻译从字符串转换成类型的对象TransportableMessage,它是由TMFields,可容纳不同类型的.所以无论如何我创建了一个用于创建字段的工厂函数,因为字段的类型基于一个字符串(来自XML),虽然现在只有少数几个,但未来可能会有更多.

该tstring对象是基于的类型转换,UNICODE并且基本上解析为std::wstring分钟.另外因为我使用VS2008 unique_ptr并不存在,所以我隐藏std::auto_ptr在后面ScopedPtr_t,以便更容易升级,因此更有可能发生.

namespace arc
{
    namespace util
    {

        int internalTest()
        {
            std::cout << "Any error?" << std::endl;
        }

        ScopedPtr_T<TMField> TmFieldFactory( const tstring& name, const tstring& typeName, const tstring& value )
        {
            ScopedPtr_T<TMField> field;
            int a = internalTest();
            if( typeName == _T("int") || typeName == _T("long") )
            {
                field.reset( new TMNumericField( name, boost::lexical_cast<__int64>(value) ) );
            }
            else if( typeName == _T("string") )
            {
                field.reset( new TMStringField( name, value ) );
            }
            else if( typeName == _T("timestamp") )
            {
                field.reset( new TMTimeField( name, boost::lexical_cast<__int64>(value) ) );
            }
            else
            {
                std::string info( __FILE__ " :: " __FUNCTION__ " : Unrecognized TmField type ");
                std::string type( typeName.begin(), typeName.end() );
                info += type;
                throw ARC_Exception( info.c_str() );
            }
            return field; // I WAS MISSING THIS!
        }
    }
}

基本上我想知道是否有其他人有这个问题？我介绍了函数internalTest,看看问题是否特定于scoped_ptrs,但似乎不是.我也尝试internalTest在GCC中使用它并返回错误.为什么Visual Studio没有标记这个？我错过了一个可以打开的编辑设置吗？标准是否允许这样做？如果这是众所周知的道歉,我做谷歌并在这里寻找答案.

编辑::调用代码 - 只需添加此更多上下文.

SharedPtr_T<TransportableMessage> strToTmConvFunc_Default_Apc7_0(const std::string& tm_str)
{
    pugi::xml_document xmlDoc;
    if( false == xmlDoc.load( tm_str.c_str() ) )
    {
        ARC_LOG(LOG_WARN, "The passed TM object was malformed. %s", tm_str.c_str() );
        throw ARC_Exception( "Malformed Transportable Message XML" );
    }

    pugi::xml_node tmBase = xmlDoc.first_child();
    std::string xmlRootName( tmBase.name() );
    if( xmlRootName.compare("TM") != 0 )
    {
        ARC_LOG(LOG_WARN, "The passed TM object was malformed. %s", tm_str.c_str() );
        throw ARC_Exception( "Malformed Transportable Message XML" );
    }

    std::string tmname = tmBase.child("N").child_value();
    std::string entity = tmBase.child("E").child_value();
    ARC_LOG(LOG_INFO, "TM message received for parsing. TM name is %s", tmname.c_str() );

    tstring t_tmname( tmname.begin(), tmname.end() );
    SharedPtr_T<TransportableMessage> tm_obj( new TransportableMessage( t_tmname, 0 ) );

    pugi::xml_node fields = tmBase.child("FS");
    for( pugi::xml_node field = fields.first_child(); field; field = field.next_sibling("field") )
    {
        tm_obj->addField( arc::util::TmFieldFactory( field.child_value("N"), field.child_value("T"), field.child_value("V") ) );
    }

    return tm_obj;
}

Answer 1

脱掉函数体而不返回某些东西不是错误,它是未定义的行为; 见6.3.3 return声明[stmt.return]§3:

流出函数末尾相当于没有值的返回; 这会导致值返回函数中的未定义行为.