On 30/04/2022 10.07, Frederick Virchanza Gotham via Std-Proposals wrote:> When a programmer uses my> function "Add_Or_Max", I want it to stick out like a sore thumb in the> code which integer type they're using, e.g.:
>
> #include <cstdint>
> using std::uint16_t;
>
> uint16_t my_global_var;
>
> int main(void)
> {
> Add_Or_Max( my_global_var, 52u ); // I don't want this to compiler
>
> Add_Or_Max<uint16_t>( my_global_var, 52u ); // I want this to compile
> }

If you want to disable template argument deduction for a function parameter,
just do it (see [meta.trans.other]):

template<class T>
/* whatever */ Add_Or_Max(std::type_identity_t<T> const a, std::type_identity_t<T> const b);

Since T only appears in non-deduced contexts, a user needs to specify
it explicitly in the template-argument-list of the function call.

Jens