C 模板可以匹配(仅）一种类型的列表或另一种类型的列表

Can a C++ template match (only) a list of one type, or a single other type?

本文关键字：类型 列表 另一种 一种      更新时间：2023-10-16

我想编写模板以构造输入端口。可以从单个输入输出端口或输入引脚列表中完成。我更喜欢这些模板具有相同的名称。我对输入输出端口和输入引脚都有概念。我可以写

template< typename... arguments > 
struct port_in ....
template< pin_in T > 
struct port_in<> ....

但是现在列表版本将接受任何类型。我可以在实现中检查一下，但是当用户传递不适合的类型时，这会降低错误消息。我可以以某种方式将列表限制为一种类型，但允许另一种类型的单个模板参数？

如果要确保用户始终收到合理的错误消息，则需要约束基本模板。假设您的现有概念命名为InputPin和InputOutputPort，则可以约束基本模板以接受输入引脚序列或单个输入/输出端口，如下所示：

template<class... Ts>
concept bool AllInputPins = (InputPin<Ts> && ...);
template<class... Ts>
concept bool OneInputOutputPort = sizeof...(Ts) == 1 && (InputOutputPort<Ts> && ...);
template <class... Args>
  requires AllInputPins<Args...> || OneInputOutputPort<Args...>
struct port_in {
  // ...
};

如果列表版本应该采用数字，则可以这样做：

template<uint16_t ... Ports>
struct port_in ....

我不确定是否可以使用非智能者并且您想要一个实际的类型列表（这不是所有参数都需要相同的类型），我不确定是否有干净的方法可以做到这一点。如果您可以要求所有类型都相同，我认为您可以做类似的事情：

template<typename T, std::enable_if_t<T> * = nullptr>
struct port_in_base{};
template<typename T, T ... ports>
struct port_in : port_in_base<T> ....
相关文章：