d无间接隐式转为可变

原文
无间接的不变表达式不转换为可变.

void main() {
  const i = 42;  // 常,所以T应为常.
  foo(i);
}

void foo(T)(T value) {
  T result;
  ++result;  // 编译错误,但是否应工作?
}

我觉得它应可工作,因为"结果"是局部整数.
但不能推导它为"int",否则会丢失限定符,并且在进一步模板推导会出错.我认为是缺少Unqual.

这样:

void main() {
    auto foo = const Foo("whatever");
    bar(foo);
}

struct Foo {
    char[] data;
}

void bar(T)(T value) {
    T thing = value;
    thing.data[0] = 'a';
}

你希望由于写入只读内存,在编译时还是运行时出错?
很公平,但该类型具有间接性.我"感觉"对无间接的基本类型等,应该可以,我知道会破坏推导模板类型及重载函数.
必须添加类型系统中的异常,才能使其仅适用于基本类型.对切片,指针,结构和类等其他类型,它会变得很危险.