Яка різниця між чимось подібним
friend Circle copy(const Circle &);
і щось подібне
friend Circle copy(Circle&) const;
Я знаю const після того, як функція використовується для того, щоб повідомити компілятору, що ця функція не намагатиметься змінити об'єкт, до якого вона викликається, а як щодо іншого?
Відповіді:
Перша форма означає, що Circleоб'єкт (стан), прив'язаний до посилання, яке є параметром copy()функції, не буде змінено copy()через це посилання. Посилання є посиланням на const, тому неможливо буде викликати функції-члени Circleчерез це посилання, які самі не кваліфіковані як const.
З іншого боку, друга форма є незаконною: лише функції-члени можуть бути const-кваліфікованими (тоді як те, що ви заявляєте, є загальною friendфункцією).
Коли constкваліфікується функція-член, кваліфікація посилається на неявний thisаргумент. Іншими словами, цій функції не буде дозволено змінювати стан об'єкта, на який вона викликається (об'єкт, на який вказує неявний thisпокажчик) - за винятком mutableоб'єктів, але це вже інша історія.
Щоб сказати це за допомогою коду:
struct X
{
void foo() const // <== The implicit "this" pointer is const-qualified!
{
_x = 42; // ERROR! The "this" pointer is implicitly const
_y = 42; // OK (_y is mutable)
}
void bar(X& obj) const // <== The implicit "this" pointer is const-qualified!
{
obj._x = 42; // OK! obj is a reference to non-const
_x = 42; // ERROR! The "this" pointer is implicitly const
}
void bar(X const& obj) // <== The implicit "this" pointer is NOT const-qualified!
{
obj._x = 42; // ERROR! obj is a reference to const
obj._y = 42; // OK! obj is a reference to const, but _y is mutable
_x = 42; // OK! The "this" pointer is implicitly non-const
}
int _x;
mutable int _y;
};
constоб’єкт objкласу X, і я називаю, bar()як obj.bar(obj), що має відбутися і чому? Не повинен obj._x = 42провалитися, оскільки objце оголошено constу абонента?
void bar(X const& obj) {...}) виглядати так? void bar(const X& obj) {...}, чи constщось змінює переміщення ключового слова до цього місця? Якщо так, чи можете ви також додати цей приклад?
constзастосовується до того, що знаходиться зліва, або до того, що знаходиться праворуч, якщо зліва немає нічого. У вашому випадку ви побачите, що для обох версій constзастосовується X.
Методи класу С ++ мають неявний thisпараметр, який стоїть перед усіма явними. Отже, функція, оголошена в класі, як це:
class C {
void f(int x);
Ви можете собі уявити насправді виглядає так:
void f(C* this, int x);
Тепер, якщо ви заявите це так:
void f(int x) const;
Це наче ви написали це:
void f(const C* this, int x);
Тобто, відстеження constробить thisпараметр const, що означає, що ви можете викликати метод для об’єктів const типу класу, і що метод не може змінити об’єкт, для якого він був викликаний (принаймні, не через звичайні канали).
friendчастину, оскільки вважаю, що вона насправді не має значення для справжнього питання ОП (або яким справжнім питання стане, як тільки всі проблеми з’являться). Тож нехай так.
Circle copy(Circle&) const;
робить саму функцію const. Це можна використовувати лише для функцій-членів класу / структури.
Створення функції-члена constозначає, що
constоб'єкт ( constоб'єкти можуть викликати лише constфункції). Неконстантні об'єкти також можуть викликати constфункцію.Тепер розглянемо наступний:
Circle copy(const Circle &);
в той час як це означає, що переданий параметр не може бути змінений у межах функції. Це може бути або не бути функцією-членом класу.
ПРИМІТКА: Можна перевантажити функцію таким чином, щоб мати constта неконстантну версію тієї самої функції.
ДАЙТЕ ОЧИСТИМО ВСЮ ПУТИНКУ, ПОВ'ЯЗАНУ З const
constпоходить від постійного означає, що щось не змінюється, але читається.
якщо ми визначимо нашу змінну constключовим словом, ми не зможемо змінити її пізніше.
наприклад, змінна const повинна бути ініціалізована, коли вона оголошена.
constint var =25;
var =50; // gives error
якщо ми кваліфікуємо нашу змінну покажчика після, тоді ми не можемо змінити сам покажчик, але зміст покажчика мінливий .
наприклад
// алеconst *
int *const ptr = new int;
ptr = new int; //gives error
*ptr=5445; //allowed
якщо ми кваліфікуємо нашу змінну покажчика раніше, ми можемо змінити сам покажчик, але вміст покажчика не змінюється .
наприклад
// алеconst *
intconst* ptr = new int(85);
//or
constint * ptr = new int(85);
ptr = new int; // allowed
*ptr=5445; // gives error
вказівник та вміст як постійні,
наприклад
intconst*constptr = new int(85);
//or
constint *constptr = new int(85);
ptr = new int; // not allowed
*ptr=5445; // not allowed
Circle copy(const Circle &);friend Circle copy(Circle&) const; class A{ public :
int var;
void fun1()
{ var = 50; // allowed
}
void fun2()const
{ var=50; //not allowed
}
};
Один відноситься до параметра, інший - до функції.
Circle copy(const Circle &);
Це означає, що переданий параметр не може бути змінений у межах функції
Circle copy(Circle&) const;
constКваліфікований функція використовується для функцій - членів і засобів ви не можете змінити елементи даних самого об'єкта. Приклад, який ви опублікували, був безглуздим.
Якщо ми перепишемо першу функцію як Circle copy(Circle const&);, що означає те саме, стає зрозумілим, що читання справа наліво стає корисним. copyце функція, яка приймає constпосилання на Circleоб'єкт і повертає Circleоб'єкт за допомогою посилання.
friend Circle copy(const Circle &);
Значення параметра не буде змінено під час викликів функції.
friend Circle copy(const Circle &)const ;
Функція є засобом доступу, який не змінює значення членів класу. Як правило, існують типи функцій: аксесуари та мутатори. Аксесуар: перевіряє, але не змінює стан свого об'єкта.