c++ - 模板参数的模板类型推导

标签 c++ c++11 templates c++17 template-argument-deduction

我知道,在给定特定函数参数的情况下,存在函数模板自动类型推导的可能性,但是对于非类型模板参数是否也存在这样的方法?

例子:

#include <iostream>

template<typename T, T val>
void func_a(void) {
    std::cout << val << std::endl;
}

template<typename T>
void func_b(T val) {
    std::cout << val << std::endl;
}

int main(void) {
    func_a<uint32_t, 42u>();
    //func_a<42u>();    //This line doesn't work
    func_b(42u);
    return 0;
}

所以我不想每次都给模板参数类型 uint32_t,当我调用 func_a() 时。 C++17以下有没有这样的方法?

我正在使用 g++ v.7.3 和 c++17。

最佳答案

在C++17中,你可以使用auto:

template<auto val>
void func_a(void) {
    std::cout << val << std::endl;
}

int main(void) {
    func_a<42u>();
    return 0;
}

关于c++ - 模板参数的模板类型推导,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/49499678/

相关文章:

c++ - 我必须从工厂返回一个指针吗?

c++ - 如何制作一个 const 引用的元组?

c++ - 需要有空字符串作为模板参数

c++ - 为什么 argc 不是常量?

c++ - vector 中允许的事件迭代器的数量

c++ - 删除以子字符串开头的文件

c++ - 具有 std::string 属性的默认移动构造函数行为

c++ - 是什么导致了模板和继承中出现这种令人困惑的编译器错误?

c++ - 模板函数在模板对象上执行成员回调而不提供它的实例

c++ - 零星碰撞检测