templates - 绑定模板的实例化器函数无法编译

Question

我正在尝试为我的Bound模板包装器实现一个实例化器函数，但我无法让它工作。我需要这个来说服工作人员我们应该从 Ada 切换到 D。

我想要这个模板

/** Bounded Value of Type T. */
struct Bound(T,
             T min = T.min,
             T max = T.max,
             bool Exceptional = true) {
...
}

被实例化为

auto x = bound!(0.0, 10.0)(1.0);

那就是我希望第一个模板参数T由模板参数的值min和max. 但是如何指定具有默认值的模板参数呢？

当然我总是可以

auto bound(float min, float max, bool Exceptional = true)(float value) {
    return Bound!(float, min, max, Exceptional)(value);
}

但是如何制作bound模板？

Answer 1

一些解决方法，但这会起作用：

import std.traits;

template bound(alias min, alias max, bool Exceptional = true)
    if (!is(CommonType!(typeof(min), typeof(max)) == void))
{
    auto bound(CommonType!(typeof(min), typeof(max)) value) {
        return Bound!(typeof(value), min, max, Exceptional)(value);
    }
}

它的工作原理是这样的：

void main()
{
    auto a = bound!(0.0f, 2.0f)(1.0f);  
    auto b = bound!(0, 2)(1);

    import std.stdio;
    writeln(typeof(a).stringof); // Bound!(float, 0.00000F, 2.00000F, true)
    writeln(typeof(b).stringof); // Bound!(int, 0, 2, true)
}