使用一个概念：

template<typename C>
concept matrix_c = requires(C const& c) { [] <typename ... X>(matrix<X ...> const&) {}(c); }
                || requires(C const& c) { [] <typename ... X>(matrix_view<X ...> const&) {}(c); }

auto operator+(matrix_c auto&& m1, matrix_c auto&& m2);

此解决方案适用于matrix_view和matrix的所有组合。
注意，如果你使用一个公共基类matrix_base，这个概念可以被简化，就像表达式模板代码中常见的那样，但是它也可以用于完全不相关的类。

这就是我决定的解决方案，通过传统的方法专门化一个helper模板类。
@davidhigh的立即调用的lambda表达式（IILE）解决方案或std::convertible语义可能不像我在这里想要的那样准确。

// `is_specialization_of` shamelessly copied from this question
// https://stackoverflow.com/questions/70130735/c-concept-to-check-for-derived-from-template-specialization
template <typename T, template<typename...> typename Primary>
struct is_specialization_of : std::false_type {};

template <template<typename...> typename Primary, typename... Args>
struct is_specialization_of<Primary<Args...>, Primary> : std::true_type {};

// somehow I need to relax the condition a little to also allow const T and T&
template <template<typename...> typename Primary, typename T>
struct is_specialization_of<T&, Primary> : is_specialization_of<T, Primary> {};

template <template<typename...> typename Primary, typename T>
struct is_specialization_of<const T, Primary> : is_specialization_of<T, Primary> {};

template <typename T, template<typename...> typename Primary>
inline constexpr bool is_specialization_of_v = is_specialization_of<T, Primary>::value;

template <typename T>
concept matrix_like = is_specialization_of_v<T, matrix> ||
                      is_specialization_of_v<T, matrix_view>;