В чем смысл таких const
объявлений? const
Меня смущает.
class foobar
{
public:
operator int () const;
const char* foo() const;
};
В чем смысл таких const
объявлений? const
Меня смущает.
class foobar
{
public:
operator int () const;
const char* foo() const;
};
Ответы:
Когда вы добавляете const
ключевое слово к методу, this
указатель по сути становится указателем на const
объект, и поэтому вы не можете изменить какие-либо данные члена. (Если вы не используете mutable
, подробнее об этом позже).
const
Ключевое слово является частью функций подписи , которая означает , что вы можете реализовать два подобных методов, один из которых вызывается , когда объект const
, и тот , который не является.
#include <iostream>
class MyClass
{
private:
int counter;
public:
void Foo()
{
std::cout << "Foo" << std::endl;
}
void Foo() const
{
std::cout << "Foo const" << std::endl;
}
};
int main()
{
MyClass cc;
const MyClass& ccc = cc;
cc.Foo();
ccc.Foo();
}
Это будет выводить
Foo
Foo const
В неконстантном методе вы можете изменить элементы экземпляра, чего нельзя сделать в const
версии. Если вы измените объявление метода в приведенном выше примере на приведенный ниже код, вы получите несколько ошибок.
void Foo()
{
counter++; //this works
std::cout << "Foo" << std::endl;
}
void Foo() const
{
counter++; //this will not compile
std::cout << "Foo const" << std::endl;
}
Это не совсем так, потому что вы можете пометить элемент как, mutable
а const
метод может изменить его. В основном он используется для внутренних счетчиков и прочего. Решением для этого будет следующий код.
#include <iostream>
class MyClass
{
private:
mutable int counter;
public:
MyClass() : counter(0) {}
void Foo()
{
counter++;
std::cout << "Foo" << std::endl;
}
void Foo() const
{
counter++; // This works because counter is `mutable`
std::cout << "Foo const" << std::endl;
}
int GetInvocations() const
{
return counter;
}
};
int main(void)
{
MyClass cc;
const MyClass& ccc = cc;
cc.Foo();
ccc.Foo();
std::cout << "Foo has been invoked " << ccc.GetInvocations() << " times" << std::endl;
}
который бы вывел
Foo
Foo const
Foo has been invoked 2 times
Const означает, что метод обещает не изменять ни одного члена класса. Вы сможете выполнить элементы объекта, которые так помечены, даже если сам объект был помечен const
:
const foobar fb;
fb.foo();
было бы законно.
Посмотрите, сколько и как используется «const» в C ++? за дополнительной информацией.
В const
означает классификатор , что методы могут быть вызваны на любое значение foobar
. Разница возникает, когда вы рассматриваете вызов неконстантного метода для константного объекта. Подумайте, имеет ли ваш foobar
тип следующее дополнительное объявление метода:
class foobar {
...
const char* bar();
}
Метод bar()
неконстантный и доступен только из неконстантных значений.
void func1(const foobar& fb1, foobar& fb2) {
const char* v1 = fb1.bar(); // won't compile
const char* v2 = fb2.bar(); // works
}
Идея const
заключается в том, чтобы пометить методы, которые не изменят внутреннее состояние класса. Это мощная концепция, но на самом деле не применяется в C ++. Это скорее обещание, чем гарантия. И тот, который часто ломается и легко ломается.
foobar& fbNonConst = const_cast<foobar&>(fb1);
const
состоит в том, чтобы пометить методы, которые не изменят внутреннее состояние класса». Это действительно то, что я искал.
const
?
Это const означает, что компилятор выдаст ошибку, если метод 'с const' изменит внутренние данные.
class A
{
public:
A():member_()
{
}
int hashGetter() const
{
state_ = 1;
return member_;
}
int goodGetter() const
{
return member_;
}
int getter() const
{
//member_ = 2; // error
return member_;
}
int badGetter()
{
return member_;
}
private:
mutable int state_;
int member_;
};
Тест
int main()
{
const A a1;
a1.badGetter(); // doesn't work
a1.goodGetter(); // works
a1.hashGetter(); // works
A a2;
a2.badGetter(); // works
a2.goodGetter(); // works
a2.hashGetter(); // works
}
Прочитайте это для получения дополнительной информации
const
функциях-членах, в которых не упоминается изменчивость, в лучшем случае неполон.
Блэр ответ на вопрос.
Однако обратите внимание, что есть mutable
спецификатор, который может быть добавлен к членам класса. Любой член, помеченный таким образом, может быть изменен в const
методе без нарушения const
договора.
Возможно, вы захотите использовать это (например), если хотите, чтобы объект запоминал, сколько раз вызывался конкретный метод, не влияя на «логическую» константность этого метода.
Значение функции-члена Const в C ++. Общеизвестно: Essential Intermediate Programming дает четкое объяснение:
Тип указателя this в неконстантной функции-члене класса X - X * const. То есть это постоянный указатель на непостоянный X (см. Const Pointers и Pointers to Const [7, 21]). Поскольку объект, к которому это относится, не является константой, его можно изменить. Тип этого в функции-члене const класса X - const X * const. То есть это постоянный указатель на константу X. Поскольку объект, к которому это относится, является const, его нельзя изменить. В этом разница между константными и неконстантными функциями-членами.
Итак, в вашем коде:
class foobar
{
public:
operator int () const;
const char* foo() const;
};
Вы можете думать так:
class foobar
{
public:
operator int (const foobar * const this) const;
const char* foo(const foobar * const this) const;
};
this
не const
. Причина, по которой он не может быть изменен, заключается в том, что это значение.
когда вы используете const
в сигнатуре метода (как ваш сказал:), const char* foo() const;
вы говорите компилятору, что указанная память this
не может быть изменена этим методом (который foo
здесь).
Я хотел бы добавить следующий момент.
Вы также можете сделать это const &
иconst &&
Так,
struct s{
void val1() const {
// *this is const here. Hence this function cannot modify any member of *this
}
void val2() const & {
// *this is const& here
}
void val3() const && {
// The object calling this function should be const rvalue only.
}
void val4() && {
// The object calling this function should be rvalue reference only.
}
};
int main(){
s a;
a.val1(); //okay
a.val2(); //okay
// a.val3() not okay, a is not rvalue will be okay if called like
std::move(a).val3(); // okay, move makes it a rvalue
}
Не стесняйтесь, чтобы улучшить ответ. Я не эксперт
*this
всегда является lvalue, даже если функция-член имеет квалификацию rvalue-ref и вызывается для rvalue. Пример .
СопзИте ключевое слово , используемое с функцией декларация уточняется , что она является функцией члена Const , и он будет не в состоянии изменить элементы данных объекта.
https://isocpp.org/wiki/faq/const-correctness#const-member-fns
Что такое
const
функция-член»?Функция-член, которая проверяет (а не мутирует) свой объект.
Функция-
const
член обозначаетсяconst
суффиксом сразу после списка параметров функции-члена. Функции-члены сconst
суффиксом называются «постоянными функциями-членами» или «инспекторами». Функции-члены безconst
суффикса называются «неконстантными функциями-членами» или «мутаторами».class Fred { public: void inspect() const; // This member promises NOT to change *this void mutate(); // This member function might change *this }; void userCode(Fred& changeable, const Fred& unchangeable) { changeable.inspect(); // Okay: doesn't change a changeable object changeable.mutate(); // Okay: changes a changeable object unchangeable.inspect(); // Okay: doesn't change an unchangeable object unchangeable.mutate(); // ERROR: attempt to change unchangeable object }
Попытка вызова
unchangeable.mutate()
является ошибкой, обнаруженной во время компиляции. Нет места для выполнения или потери скоростиconst
, и вам не нужно писать контрольные примеры для проверки во время выполнения.Продольные
const
наinspect()
функции члена следует использовать для обозначения методы не изменит объект абстрактного (клиент-видимый) состояния. Это немного отличается от того, что метод не изменит «сырые биты» структуры объекта. Компиляторам C ++ не разрешается принимать «побитовую» интерпретацию, если они не могут решить проблему псевдонимов, которая обычно не может быть решена (т. Е. Может существовать неконстантный псевдоним, который может изменять состояние объекта). Другое (важное) понимание этой проблемы с наложением: указание на объект с указателем на const не гарантирует, что объект не изменится; он просто обещает, что объект не изменится через этот указатель .