Что означает «x (y) = z (w)» в C++?

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, который является типом, который может заметно отображаться в левой части выражения присваивания. Обычной категорией 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

Я думаю, что левая часть третьего создает экземпляр функции шаблона с аргументом * object_name *. Что можно присвоить значение func2() может быть связано с некоторой перегрузкой оператора =?

Answer 3

ccc<ddd>, вероятно, является функцией (специализация шаблона функции). Он может вернуть ссылку, и в этом случае объект, на который ссылается, будет изменен. Или он может вернуть объект «прокси», который имеет operator=, который сделает что-то полезное.

Менее вероятно, ccc<ddd> может быть типом класса (специализация шаблона класса). Но для того, чтобы иметь в виду что-нибудь полезное, его operator= должен был иметь какой-то побочный эффект, отличный от временного объекта ccc<ddd>, что было бы странно.

Answer 4

Возможно, возвращаемое значение является значением l, которым вы действительно можете присвоить значение. Это может быть примерно так:

int x = 5; 

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

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