具有模板类型推导错误的c ++模板

Question

包括

    template <typename R, typename S, typename T>
    T const min (R const& a, S const& b)
    {
        T val;

        if( a > b )
        {
            val = static_cast<T>( b );
        }
        else
        {
            val = static_cast<T>( a );
        }
        return  val;
    }

    // CANNOT change anything above this line  --------------------

    void B()
    {
       int val =0;

       // Only change the next line

        val = min (5,4.2);

        assert( val == 4 );
   }

---

编译代码时，引发以下错误

错误C2783：“ const T min（const R＆，const S＆）”：无法推断出“ T”的模板参数

卡住试图解决这个问题。 任何帮助将不胜感激

Answer 1

编译器错误告诉您无法调用min来调用T类型，因为您尚未指定它，并且在重载解析期间不使用函数或函数模板的返回类型。模板参数推导（当然，除非它是一个转换运算符）。

由于您无法更改min的定义（这是愚蠢的），因此唯一的选择是在调用中显式指定T 但是，由于T是最后一个模板参数，因此您还必须指定两个前面的模板参数！ 像这样：

val = min<int, double, int>(5, 4.2);

Answer 2

如果不使用模板参数，编译器将无法推导它 。

话虽这么说，在这种情况下，您要做的是在调用函数min时指定模板参数中指定。 像这样：

void B()
{
    int val = 0;

   // Only change the next line

    val = min<int, double, int>(5, 4.2);

    assert(val == 4);
}