바운딩 템플릿 용 Instantisator 함수가 컴파일되지 않습니다.

Question

템플릿 래퍼 Bound에 대한 인스턴스 작성기 기능을 구현하려고하는데 작동하지 않습니다. 나는 우리가 에이다 에서 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) 
}