在模板中使用“普通” constexpr函数参数

Question

假设我具有此功能：

constexpr void foo(size_t x)
{ }

以及此模板：

template<size_t X>
class bar;

如果我知道我将始终用constexpr评估该函数（C ++ 17），是否可以用foo函数中的constexpr size_t x实例化模板栏的实例？

Answer 1

如果我正确理解您的要求，]：>

constexpr void foo(size_t x)
{
    bar<x> b{};
}