Как использовать вывод типа для удаления возможного неизменяемого / const? - PullRequest
Новая
       8

Как использовать вывод типа для удаления возможного неизменяемого / const?

1 голос
/ 15 марта 2019

Как я могу использовать вывод типа для удаления неизменяемого / const в объявлении переменной? Это вообще возможно? 

immutable uint immutableX = 42;
// keep the type (uint) but remove the immutability
/* compiler magic */ mutableX = immutableX;

Решение для вывода без типа: 

uint mutableX = immutableX;

Полный пример: 

void main()
{
    immutable uint immutableX = 42;
    pragma(msg, "immutableX: ", typeof(immutableX));
    assert(typeof(immutableX).stringof == "immutable(uint)");

    // how to use type inference so that possible immutable/const is removed ?
    // the expected type of mutableX is uint
    auto mutableX = immutableX;
    pragma(msg, "mutableX: ", typeof(immutableX));
    // this should be true
    assert(typeof(immutableX).stringof == "uint");
}

1 Ответ

3 голосов
/ 15 марта 2019

В зависимости от варианта использования есть std.traits.Unqual, который удаляет самые внешние immutable, const, shared и т. Д .: 

import std.traits : Unqual;
immutable int a = 3;
Unqual!(typeof(a)) b = a;
static assert(is(typeof(b) == int));

Более простое решение можетбыть cast(): 

immutable int a = 3;
auto b = cast()a;
static assert(is(typeof(b) == int));

То, что правильно, зависит от того, где и как вы будете его использовать.

...