C ++ 20非类型模板参数是先前类型参数中的模板：不是有效的模板参数，因为不是变量

Question

我已经对此感到困惑了一段时间，并提炼了一个简单的错误消息示例。有什么方法可以使这项工作吗？我只是在某处缺少“模板”或“类型名”吗？

#include <cstdint>

template<typename T, typename J>
struct silly
{
    const void (*f)(T,J);
};

template<typename T, typename J, silly<T, J> aSilly>
struct sillier
{
    const uint32_t something;
};

void dumb_func(uint32_t i, uint32_t j)
{
    return;
}

constexpr silly<uint32_t, uint32_t> mySilly{ .f = dumb_func };

using silliest = sillier<uint32_t, uint32_t, mySilly>;

int main()
{
    return 2;
}

g++ 吐出：

g++ -std=c++2a ugh.cpp

ugh.cpp:20:51: error: invalid conversion from ‘void (*)(uint32_t, uint32_t)’ {aka ‘void (*)(unsigned int, unsigned int)’} to ‘const void (*)(unsigned int, unsigned int)’ [-fpermissive]
   20 | constexpr silly<uint32_t, uint32_t> mySilly{ .f = dumb_func };
      |                                                   ^~~~~~~~~
      |                                                   |
      |                                                   void (*)(uint32_t, uint32_t) {aka void (*)(unsigned int, unsigned int)}
ugh.cpp:20:51: error: ‘dumb_func’ is not a valid template argument of type ‘const void (*)(unsigned int, unsigned int)’ because ‘dumb_func’ is not a variable

我已尝试通读https://en.cppreference.com/w/cpp/language/template_parameters，但我在这里超出了我的模板深度。实际用例 T 和 J 类似于 std::array 然后 sillier> 继承自其他更通用的类，并覆盖 which call像 f 这样的函数，以便所有内容都内联到给定 silly 实例的专用函数中。

Answer 1

编辑：

sillier的第三个模板参数是非类型模板参数，只能绑定变量，但dumb_func不是变量。

这个解释没有意义，实际上代码可能没问题，错误可能只是在这个answer 中发现和报告的bug。但下面给出的修复仍然有效。

---

可以将第三个模板参数设为引用类型的非类型模板参数。

template<typename T, typename J, silly<T, J> const & aSilly>
                                          // ^^^^^^^
struct sillier
{
    const uint32_t something;
};

---

另外，silly 中的成员变量f 被声明为返回const void 类型的函数指针：

const void (*f)(T,J);

所以您要么需要从f 的返回类型中删除const，要么您可以更改dumb_func 的声明以返回const void 类型：

const void dumb_func(uint32_t i, uint32_t j)
{
    return;
}

const void 返回函数似乎没有任何意义，所以我会选择第一个选项。

---

这是demo。