C++能否推断非类型模板参数的类型并在其余模板参数上强制执行该类型？

C++ 17起，可以使用auto来推断非类型模板参数的类型，并使用static_assert在其余模板参数上强制执行该类型。下面是一个示例代码：

#include <iostream>
#include <type_traits>

template <auto N>
struct Foo {
    static_assert(std::is_integral<decltype(N)>::value, "N must be integral type");
    
    void print() {
        std::cout << "N = " << N << std::endl;
    }
};

int main() {
    Foo<42> foo1;  // N is deduced as int
    foo1.print();  // Output: N = 42
    
    // Foo<3.14> foo2;  // Error: N must be integral type
    
    return 0;
}

在上面的例子中，我们定义了一个模板类Foo，它有一个非类型模板参数N。在模板类中，我们使用static_assert检查N的类型是否是整数类型。然后，我们定义了一个print函数来打印N的值。

在main函数中，我们实例化了一个Foo对象foo1，将42作为模板参数传递给N。编译器会自动推断N的类型为int，并通过static_assert检查，因为42是整数类型。然后，我们调用了foo1的print函数来打印N的值。

如果我们尝试使用3.14作为模板参数实例化Foo对象foo2，编译器会报错，因为3.14不是整数类型，不满足static_assert的要求。

通过这种方法，我们可以在模板中使用auto来推断非类型模板参数的类型，并使用static_assert对其进行类型检查，从而在其余模板参数上强制执行该类型。