JuniorTheoryCommon

What happens when you build and run this program?

C++

#include <iostream>

template <typename T>
T max_of(T a, T b) {
    return a > b ? a : b;
}

int main() {
    int n = 1;
    double x = 2.5;
    std::cout << max_of(n, x);
}

It does not compile: T cannot be both int and double at once

Expecting 2.5: deduction applies no conversions, so n gives T = int, x gives T = double, and the two disagree.
Expecting 2: the first argument has no priority; each argument deduces T on its own, and the results must match.

How would you change the call so that the program compiles and prints 2.5?
Why does an ordinary function double max_of(double a, double b) accept the same call?

Back to questions Open topic in roadmap →Answer it yourself — Quiz

Back to questions

JuniorTheoryCommon

What happens when you build and run this program?

C++

#include <iostream>

template <typename T>
T max_of(T a, T b) {
    return a > b ? a : b;
}

int main() {
    int n = 1;
    double x = 2.5;
    std::cout << max_of(n, x);
}

It does not compile: T cannot be both int and double at once

Expecting 2.5: deduction applies no conversions, so n gives T = int, x gives T = double, and the two disagree.
Expecting 2: the first argument has no priority; each argument deduces T on its own, and the results must match.

How would you change the call so that the program compiles and prints 2.5?
Why does an ordinary function double max_of(double a, double b) accept the same call?

Back to questions Open topic in roadmap →Answer it yourself — Quiz