可以推断模板函数中的参数类型吗？

Question

我正在用 C++ 编写一些模板函数，但我不确定是否可以定义一个模板函数来推断其参数的类型。

我尝试定义一个带有推断参数类型的模板，但是这个示例无法编译：

template <auto>   
auto print_stuff(auto x, auto y) 
{ 
    std::cout << x << std::endl;
    std::cout << y << std::endl;
}

当我为每个参数类型指定一个唯一的名称时它会起作用，但这似乎有些多余：

#include <iostream> 
#include <string>

template <class Redundant_1,class Redundant_2>   
auto print_stuff(Redundant_1 x, Redundant_2 y) 
{ 
    std::cout << x << std::endl;
    std::cout << y << std::endl;
}

int main() 
{ 
    print_stuff(3,"Hello!");
    return 0; 
}

是否可以定义一个带有推断参数类型的模板，而不是给每个类型一个唯一的名称？

Answer 1

如果您的编译器支持概念，则可以省去模板头和参数类型的名称，即使要求实验性 C++2a 模式通常也不会启用。
例如，在 gcc 上，它必须使用 -fconcepts 单独启用。

见live on coliru。

#include <iostream> 
#include <string>

auto print_stuff(auto x, auto y) 
{ 
    std::cout << x << std::endl;
    std::cout << y << std::endl;
}

int main() 
{ 
    print_stuff(3,"Hello!");
    return 0; 
}

顺便说一句，避免std::endl 并在极少数情况下使用std::flush，您无法避免昂贵的手动冲洗。此外，return 0; 对于main() 是隐含的。