OB
Size: a a a
2021 February 16
МВ
Нелогично, однако
логично, просто immutable сильнее руки выворачивает
МВ
можно кастануть обычный объект в const и передать в другой поток, при этом свободно менять в исходном потоке
МВ
immutable должен быть immutable везде
OB
можно кастануть обычный объект в const и передать в другой поток, при этом свободно менять в исходном потоке
а можно ещё указатели как int хранить, ага
OB
можно кастануть обычный объект в const и передать в другой поток, при этом свободно менять в исходном потоке
пример как можно обойти систему типов, которая предполагает ограничение стрельбы по ногам
O
можно кастануть обычный объект в const и передать в другой поток, при этом свободно менять в исходном потоке
так низя
МВ
пример как можно обойти систему типов, которая предполагает ограничение стрельбы по ногам
class Test {
this(){}
~this(){}
void test() {}
}
void test_fun(const Test a) {
/// тут a константный
}
int main(string[] args) {
auto a = new Test;
a.test_fun();
// но тут a можно по прежнему менять
return 0;
} я про такой примерOB
class Test {
this(){}
~this(){}
void test() {}
}
void test_fun(const Test a) {
/// тут a константный
}
int main(string[] args) {
auto a = new Test;
a.test_fun();
// но тут a можно по прежнему менять
return 0;
} я про такой примерпри многопоточной работе нужны синхронизации
МВ
ок
МВ
class Test {
this(){}
~this(){}
void test() {}
}
class Test2 {
private const Test m_a;
this(const Test a) {
m_a = a;
}
}
int main(string[] args) {
Test a = new Test;
Test2 a2 = new Test2(a);
return 0;
}МВ
то, что Test2 не может изменить a внутри себя еще не означает, что a не может измениться вообще
МВ
a можно изменить снаружи
МВ
я просто к тому, что const не гарантирует не изменяемость объекта. он гарантирует только, что его не изменят в том контексте, где он const
МВ
и то есть всякие консткасты %)
DH
логично, просто immutable сильнее руки выворачивает
Конст = константа