Question

今天在编程理论语言课中我们已经在Java中看到过这种行为：

public class Es {
   ...
   <Y> Y choose(Y y1, Y y2){
         Y returnVal;
         if("some test"){ returnVal = y1;} else{ returnVal = y2;}
         return returnVal;
   }
}

在Main：

Es c = new Es();
Integer i = 3;
Float f = (float) 4.5;
Number n = c.choose(i, f);

“令人难以置信”的方法是，方法必须在Integer和Float之间为参数类型Y选择，并选择最近的超类型，即Number。

我想用C ++重现这个，但我被卡住了......

Answer 1

模板在不匹配时不会尝试调整类型。这就是为什么一个简单的实现，如下所示：

template <class Y>
Y choose(Y y1, Y y2) {
    // ...
}

失败，出现以下错误：

main.cpp:8:5: fatal error: no matching function for call to 'choose'
    choose(1, 2.5f);
    ^~~~~~
main.cpp:3:3: note: candidate template ignored:
                    deduced conflicting types for parameter 'Y' ('int' vs. 'float')

你想要做的是让函数模板同时使用两种类型，然后解析常见类型：

template <class Y1, class Y2>
auto choose(Y1 y1, Y2 y2) {
    using Y = std::common_type_t<Y1, Y2>;

    Y returnVal;

    if("some test") {
        returnVal = y1;
    } else {
        returnVal = y2;
    }

    return returnVal;
}

一个好主意是通过将类型扣除提升到其签名中来使SFINAE功能友好：

template <class Y1, class Y2>
std::common_type_t<Y1, Y2> choose(Y1 y1, Y2 y2) {
    // Same as before
}

Answer 2

使用模板函数。与Java代码完全相同的C ++代码实际上与Java代码本身非常相似：

template <typename Y>
Y choose(Y y1, Y y2) {
    Y returnVal;
    if("some test"){ returnVal = y1;} else{ returnVal = y2;}
    return returnVal;
}

您可以像在Java中一样调用它 - 编译器将推断出正确的类型：

choose(1,2); //With two ints
choose("hi","bye"); //With two char*s.

注意：从语义上讲，C ++模板与Java泛型完全不同。 Java泛型是使用类型擦除实现的--JRE在运行时不知道类型参数，而C ++模板实际上在每次将模板用于不同类型时创建单独的函数或类。见this answer.

编辑：我误解了你的问题。不幸的是，我不相信C ++有你想要的行为;你必须明确指出两者都是超类型。

具有不同子类型的参数方法

2 个答案: