c++ - GCC 7 没有选择正确的类型特征特化

Question

我在使用 gcc 7.2 时遇到一些问题。我有这种类型特征

template<typename T>
struct audio_frame_channels {}

template<int N>
struct audio_frame_channels<std::array<float, N>> {
  static constexpr auto value = N;
};

然后我像这样使用它:

  template<typename T>
  auto redirect(T& buf) ->
  ProcessData<audio_frame_channels<std::remove_reference_t<
                                     decltype(buf[0])>>::value>;

clang 6 对此没有问题，但 gcc 7.2 提示 ‘value’ is not a member of ‘top1::audio::audio_frame_channels<std::array<float, 1> >’ 我是不是弄错了什么，或者这就是您在实验性编译器上得到的结果？

编辑:强制性 godbolting:

https://godbolt.org/g/Y1EFYC

Answer 1

std::array 的第二个模板参数是 std::size_t，而不是 int。你需要像这样改变它:

template<std::size_t N> //instead of int N
struct audio_frame_channels<std::array<float, N>> {
  static constexpr auto value = N;
};