생성자에 지정 하시겠습니까? (튜플 티처럼)

Question

생성자와 "외모가있는"함수에 할당 할 수있는 이유는 무엇입니까?

예 :

struct Bar { 
    Bar() : b_(false) {} 
    Bar(bool b) : b_(b) {} 
}; 

struct Foo { 
    Foo(Bar const & bar) : bar_(bar) {} 
    Foo operator=(Foo const & f) { return Foo(f.bar_); } 
    const Bar & bar_; 
} 

Foo bool_to_foo(bool b) { return Foo(Bar(b)); } 

Foo MakeFoo(Bar const & bar) { return Foo(bar); } 

왜이 작품은 않습니다

Bar bar; 
MakeFoo(bar) = bool_to_foo(true); 

이 작동하지 않는 이유는 무엇입니까?

Bar bar; 
Foo(bar) = bool_to_foo(true); // Error: 'bar': redefinition; different basic types 

MakeFoo (.)와 Foo (.)는 동일한 서명과 동일한 기능을 갖습니다.

생성자의 특별한 점은 무엇입니까?

Answer 1

이 줄 :

Foo(bar) = bool_to_foo(true); 

은 당신이하지 생각하지 않습니다. 이 아닌은 bar으로 초기화 된 임시 개체를 선언합니다. Foo 유형의 bar이라는 개체를 선언하고 bool_to_foo(true) 값으로 초기화하는 것은 실제로 수행됩니다. 이미 범위 bar라는 이름의 객체가이 재정의입니다 가지고 있기 때문에

Foo bar = bool_to_foo(true); 

: 그런 의미에서

, 그것은 정확히 동일합니다. 그 추한과 혼란 모두이기 때문에, 나는 그것을 더 설명하지 않습니다,

Foo((0,bar)) = bool_to_foo(true); 

을하지만 :

---

당신은 아직도 당신이 뭘 하려는지하고 싶은 경우

, 당신은 시도 할 수 있습니다.

Answer 2

함수는 객체를 반환하며이 객체는 할당 할 수 있습니다. 그러나 C++ 표준은 생성자에게 특별한 처리 방법을 제공합니다. 비록 내가 완전히 확신 할 수는 없지만, = bool_to_foo(true) 부분은 할당이 아닌 초기화로 간주됩니다. foo에 복사 생성자가 없으므로 오류가 발생합니다.

Rob도 Foo (bar) 거래로 머리에 못을 박았다. 때때로 C++ 구문이 이상 할 수 있습니다.

어쨌든이 두 형식 중 하나는 나쁜 습관입니다. rvalues에 할당하는 것은 일 것입니다. 아마도은 사용자가 원하는 것이 아니며 혼란 스러울 가능성이 큽니다.