class A
{
   template<typename return_t>
   return_t Getter(int index) const noexcept
   {
      static_assert<false, "not this type">;
   }
}

template<>
int A::Getter(int index) const noexcept
{
   return 1;
}

cpp里只用了特化的 Getter<int>(1)，没有用别的，居然编译不过去，说static_assert fail

是改了什么什么东西吗？还是必须要用concept写了？concept怎么加定制化的error msg?
--
FROM 122.234.59.*