не понимаю я эту константность в с++

VS2003

Код (Text):

1. struct sS1
2. {
3.  void f(int*) { }
4.  void f1( int&) { }
5. };
6.  
7. struct sS
8. {
9.  int i;
10.  int* pi;
11.  
12.   void f(void)
13.   {
14.     sS1 s1;
15.  
16.     s1.f(pi);
17.     s1.f(&i);
18.     s1.f1(*pi);
19.     s1.f1(i);
20.   }
21.   void f1(void) const
22.   {
23.     sS1 s1;
24.  
25.     s1.f(pi); // почему нет ошибки!?
26.     s1.f(&i); // ошибка !
27.  
28.     s1.f1(*pi); // почему нет ошибки!?
29.     s1.f1(i); // ошибка !
30.   }
31. };

По какому принципу работают константные методы!?

 

в первом случае вызываемая функция не может изменить значение pi, она может изменить значение переменной, на которую указывает pi.
во втором случае передается адрес переменной i, по этому адресу можно изменить значение i

аналогично
в первом случае мы подставляем адрес переменной, которая не используется на прямую. ее значение можно менять
во втором случае мы подставляем адрес переменной, которая может использоваться напрямую, а так как конст, то ошибка

короче если const, то нельзя менять только значения используемых переменных, а те значения на которые эти переменные указывают, и на которые указывают указатели, на которые указывают эти переменные, и т.д. менять можно

 

вроде вкурил - спасибо!

 

вот такой пример: BCB

Код (Text):

1. struct S
2. {
3.  void Get() const { }
4.  void Set() { }
5. };
6.  
7. class C
8. {
9. public:
10.  list<S> ls;
11.  
12.  void f() const
13.  {
14.    for_each(ls.begin(), ls.end(), mem_fun_ref(&S::Set));  
15. // почему опять нет ошибки ведь бегин возвращает константный итератор на константный объект при разыменовании
16.    Application->MessageBoxA(typeid(*ls.begin()).name(), "");
17.  }
18.  void f1()
19.  {
20.    for_each(ls.begin(), ls.end(), mem_fun_ref(&S::Set));
21.    Application->MessageBoxA(typeid(*ls.begin()).name(), "");
22.  }
23. };

 

systemio
Оформляй код соответствующим образом! Больше подтирать за тобой никто не будет.

 

в функции f, этот код не должен компилирироваться.

 

Однако компилируется и запускается - да к тому же и без ворнингов.

 

какой компилер?