C++에서 "x (y) = z (w)"는 무엇을 의미합니까?

Question

누군가 나에게 다음과 같은 구문을 이해하는 데 도움이 바랍니다 수 :

aaa<bbb> object_name; 
func(object_name, object_name2); 
ccc<ddd>(object_name) = func2(arg1, arg2); 

는 이해 것을 먼저 우리가 aaa<bbb> 클래스의 새로운 객체를 선언합니다. 그런 다음이 객체를 다른 객체와 함께 사용하여 함수를 호출하면 object_name의 값이 변경 될 수 있습니다. 나는 세 번째 줄을 이해하는 데 어려움을 겪고있다. 특히 = 표시의 왼쪽에있는 건설. 왜 object_name은 대괄호 안에 있습니까? 내게는 우리가 함수를 호출하는 것처럼 보입니다. 그러나 = 기호의 왼쪽과 오른쪽에 함수를 호출 할 수 있습니까?

Answer 1

함수 호출은 왼쪽 값을 반환 할 수 있습니다.이 값은 대입 식의 왼쪽에 나타날 수있는 형식입니다. 이 경우 lvalue의 일반적인 범주는 참조입니다. 예를 들어 vector<T>::front 유형 T &의 참조를 반환 :

std::vector<int> v{0, 1, 2, 3}; 
v.front() = 99; 
// v is now {99, 1, 2, 3} 

고급 사용에만 : 함수가 오버로드 된 할당 연산자와 함께 객체 유형의 prvalue를 반환하는 것이 수도 할당 식을 갖도록 적절한 효과; 그러나 표준 라이브러리는 ostream_iterator과 같은 몇 가지 경우를 제외하고는이를 사용하지 않습니다.

Answer 2

제 3의 왼쪽은 인수 * object_name *을 사용하여 템플릿 함수를 인스턴스화한다고 생각합니다. func2()의 값을 할당 할 수 있다는 것은 연산자의 오버로드로 인한 것일 수 있습니다. 연산자 =?

Answer 3

ccc<ddd>은 아마도 함수 템플릿 (함수 템플릿의 특수화) 일 수 있습니다. 참조를 반환 할 수 있으며이 경우 참조 된 객체가 수정됩니다. 아니면 뭔가 유용한 일을 operator=있는 "프록시"개체를 반환 할 수 있습니다.

덜 가능성 있음, ccc<ddd>은 클래스 유형 (클래스 템플릿의 특수화) 일 수 있습니다. 그러나 유용한 것을 의미하기 위해서는 그 이 임시 ccc<ddd> 객체 이외의 다른 부작용을 가져야합니다. 이는 이상합니다.

Answer 4

아마도 반환되는 값은 실제로 값을 할당 할 수있는 l 값입니다. 다음과 같이 될 수 있습니다 :

int x = 5; 

template <typename T> 
int& foo() { return x; } 

void test() 
{ 
    foo<long>() = 10; 
}