d为何用模板参数

原文

pure @nogc @safe BigInt opAssign(T : BigInt)(T x);
//上下有何差别?
pure @nogc @safe BigInt opAssign(BigInt x);
1
2
3

是的,这种语法允许任何隐式转换为BigInt;例如:

import std.bigint;

void fun(T : BigInt)(T t)
{
    pragma(msg,"用T=`"~T.stringof~"`实例化");
}

struct S
{
    BigInt n;
    alias n this;
}

void main()
{
    S s;
    fun(s); // 用T = `S`实例化
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

目前无法编写需要精确类型且无隐式转换的模板特化.为此,必须改用模板约束:

void fun(T)(T t)
if (is(T == BigInt))
{
    // ...
}
1
2
3
4
5
6

或者是如果用两种不同类型和隐式转换来调用它,会得到两个不同的模板实例?