DH
Size: a a a
2021 February 16
МВ
Конст может меняться но извне
именно. а immutable не может меняться вообще
DH
именно. а immutable не может меняться вообще
Тогда конст не константа
МВ
частично логично. если ты получаешь объект как const, то гарантируешь, что не будешь его изменять у себя
DA
Суть то, в том что компилятор выдавал SF, не различая эти две функции:
void opAssign(const BigInt other) nothrow
void opAssign(BigInt other) *const* nothrow
При следующем исправлении собралось:
void opAssign(in BigInt other) nothrow
void opAssign(BigInt other) *immutable* nothrow
void opAssign(const BigInt other) nothrow
void opAssign(BigInt other) *const* nothrow
При следующем исправлении собралось:
void opAssign(in BigInt other) nothrow
void opAssign(BigInt other) *immutable* nothrow
МВ
Dmitry Antipin
Пока исправил так:
/**
* Move assignment
*/
void opAssign(const BigInt other) nothrow
{
this.swap(cast(BigInt*)&other);
}
/**
* Move assignment
*/
void opAssign(BigInt other) const nothrow
{
(cast(BigInt*)&this).swap(&other);
}
/**
* Move assignment
*/
void opAssign(in BigInt other) nothrow
{
this.swap(cast(BigInt*)&other);
}
/**
* Move assignment
*/
void opAssign(BigInt other) immutable nothrow
{
(cast(BigInt*)&this).swap(&other);
}
(cast(BigInt*)&this).swap(&other);
МВ
вот это и есть по сути консткаст. так делать не желательно
МВ
т е по сути для const/immutable opAssign вообще быть не должно
И
как говрится "кому константа, а кому и переменная"
МВ
Dmitry Antipin
Суть то, в том что компилятор выдавал SF, не различая эти две функции:
void opAssign(const BigInt other) nothrow
void opAssign(BigInt other) *const* nothrow
При следующем исправлении собралось:
void opAssign(in BigInt other) nothrow
void opAssign(BigInt other) *immutable* nothrow
void opAssign(const BigInt other) nothrow
void opAssign(BigInt other) *const* nothrow
При следующем исправлении собралось:
void opAssign(in BigInt other) nothrow
void opAssign(BigInt other) *immutable* nothrow
лучше удали opAssign с модификаторами
МВ
А потом эту константу меняют в середине функции. Бадум тсс
в середине ф-и ее так просто не изменишь
МВ
по крайней мере в D
И
вот в середине ф-ции (вызванной) её и не меняют. конст в аргументах это обещание не менять
DH
в середине ф-и ее так просто не изменишь
Я имею в виду, что снаружи поменяли