1

问题。 请参阅下面的代码...我错过了该return field;语句，并且在几次调试运行中没有发现它。我永远不会想到这样的事情会在没有错误的情况下通过编译器！为什么这样做？

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

该tstring对象是基于UNICODE并且基本上解析为的类型转换std::wstring。也因为我使用的是 VS2008unique_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;
}
4

1 回答 1

5

从函数体中掉下来而不返回某些东西不是错误，而是未定义的行为；见 6.3.3return语句 [stmt.return] §3：

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

于 2012-08-07T18:17:33.203 回答