C++ function definition and variable declaration mismatch?

丶灬走出姿态 提交于 2020-01-21 11:47:06

问题


Consider this very simple code:

#include <memory>

class Foo
{
public:
    Foo() {};
};

class Bar
{
public:
    Bar( const std::shared_ptr<Foo>& foo ) {}
}; 

int main()
{
    Foo* foo = new Foo;
    Bar bar( std::shared_ptr<Foo>( foo ) );
    return 0;
}

Why does Visual Studio reports

warning C4930: 'Bar bar(std::shared_ptr<Foo>)': prototyped function not called (was a variable definition intended?)

and there is no bar object created...how can this line Bar bar( std::shared_ptr<Foo>( foo ) ); be interpreted as a function definition?

I checked Do the parentheses after the type name make a difference with new? and also C++: warning: C4930: prototyped function not called (was a variable definition intended?), but I feel my problem is different here as I did not use the syntax Foo() nor Bar().

Edit: Note that it successfully compiles:

Foo* foo = new Foo;
std::shared_ptr<Foo> fooPtr( foo );
Bar bar( fooPtr );

回答1:


This issue is about C++'s most vexing parse. The statement:

Bar bar( std::shared_ptr<Foo>( foo ) );

declares a function called bar that returns Bar and takes an argument called foo of type std::shared_ptr<Foo>.

The innermost parenthesis have no effect. It is as if you would have written the following:

Bar bar( std::shared_ptr<Foo> foo);

Assuming C++11 (since you are already using std::shared_ptr) you could use the brace syntax instead of parenthesis:

Bar bar(std::shared_ptr<Foo>{foo});

This would actually construct an object bar of type Bar, since the statement above can't be interpreted as a declaration because of the braces.



来源:https://stackoverflow.com/questions/46218836/c-function-definition-and-variable-declaration-mismatch

易学教程内所有资源均来自网络或用户发布的内容,如有违反法律规定的内容欢迎反馈
该文章没有解决你所遇到的问题?点击提问,说说你的问题,让更多的人一起探讨吧!