Что делает возврат константы в C?
Похожий вопрос есть и о C++, но, похоже, он не совсем применим здесь, в C. Я создаю функцию для вычисления пересечений восьмеричного дерева и привел аргументы const. Однако иногда один из аргументов возвращается напрямую, и поэтому компиляция просит меня добавить квалификатор const к возвращаемому типу...
Но чего это вообще дает? Моя функция определенно может гарантировать, что она не коснется своих аргументов, но что вообще означает, что она не коснется своего возвращаемого значения? Конечно, не тронет, его вернули! Функция уже завершена к тому моменту, когда это станет иметь значение... Должно быть, я что-то упускаю.
Вот код (ошибок быть не должно, но вполне возможно 😅):
/* WARNING : K >= 8 is presumed, else this is a guaranteed segfault */
const ktree *intersection( const ktree *v1, const ktree *v2 ) {
const enum content r1 = root( v1 );
const enum content r2 = root( v2 );
if ( content_empty == r1 || content_empty == r2 ) {
return ktree_leaf( content_empty );
} else if ( content_full == r1 ) {
return v2;
} else if ( content_full == r2 ) {
return v1;
}
return new_ktree(
content_partial,
intersection( kchild( 0, v1 ), kchild( 0, v2 ) ),
intersection( kchild( 1, v1 ), kchild( 1, v2 ) ),
intersection( kchild( 2, v1 ), kchild( 2, v2 ) ),
intersection( kchild( 3, v1 ), kchild( 3, v2 ) ),
intersection( kchild( 4, v1 ), kchild( 4, v2 ) ),
intersection( kchild( 5, v1 ), kchild( 5, v2 ) ),
intersection( kchild( 6, v1 ), kchild( 6, v2 ) ),
intersection( kchild( 7, v1 ), kchild( 7, v2 ) )
);
}
(Я решил не включать все древовидные функции, так как считаю, что работа кода не имеет отношения к вопросу. Однако я могу предоставить их, если есть веская причина, о которой я не подумал)
Это просто означает «только для чтения».
Ответы 1
Это не возвращаемое значение const. Вместо этого ваша функция возвращает указатель, отличный от const, но указывает на объект const.
Компилятор прав: когда вы возвращаете v1 или v2, тип данных возвращаемого значения должен быть const ktree *.
Если бы вы хотели, чтобы указатель был const, вы бы написали ktree * const intersection(.... Но в C квалификатор типа const игнорируется для типов, возвращаемых функцией, они не имеют смысла.
Однако вы можете решить, чтобы вызывающая сторона создала указатель const, в котором будет храниться возвращаемое значение:
/* ... */
const ktree * const v = intersection(t1, t2);
/* ... */
Спасибо ! В конце концов, благодаря добавлению const, я понял, что мне действительно нужно клонировать деревья для возврата. В противном случае результат запутается в аргументах, и повсюду произойдет неожиданное поведение.
Вы не возвращаете константное возвращаемое значение. Вы возвращаете указатель, указывающий на
const ktree. (Указатель, который является константным, а не указывает на константное значение, будетktree * const, а неconst ktree *.)