我想编写模板来构建比方说输入端口。这可以通过单个输入输出端口或输入引脚列表来完成。我更喜欢那些模板具有相同的名称。我对输入输出端口和输入引脚都有概念。我会写
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 {
// ...
};
关于c++ - C++ 模板是否可以(仅)匹配一种类型或一种其他类型的列表？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/47840064/