主页 / coding / 问题 / 79544935
Accepted
Peter
Asked: 2025-03-31 01:21:10 +0800 CST

如何约束模板方法以匹配类模板参数？

  • 772

我有以下课程：

template<typename Population, typename... Operators> class GA
{
public:
    template<typename Evaluator,
             typename std::enable_if_t<
             std::is_same_v<Evaluator, Evaluator<Operators...>>>>
  void EvaluatePopulation(Evaluator& evaluator)
  {
    evaluator.Evaluate();
  }
};

由于EvaluatePopulation声明不正确，因此无法编译。

我如何指定EvaluatePopulation只能使用与该类Evaluator相同的初始化类来调用方法？Operators...GA

c++

1 个回答

  1. Best Answer

    我如何指定EvaluatePopulation只能使用与该类Evaluator相同的初始化类来调用方法？Operators...GA

    诀窍是使用模板模板参数，以便您“解包”求值器的模板参数以匹配 GA 的包。例如，您可以编写：

    template<typename Population, typename... Operators>
class GA
{
public:
    template<template<typename...> class EvaluatorT>
    void EvaluatePopulation(EvaluatorT<Operators...>& evaluator)
    {
        evaluator.Evaluate();
    }
};

    ((查看现场演示))

    或者，使用的概念，它可以提供更清晰的错误消息：

    // Ensures Evaluator is instantiated with exactly Operators...
template<typename T, typename... Args>
constexpr bool is_evaluator_for_v = false;

template<template<typename...> class EvaluatorT, typename... Ops>
constexpr bool is_evaluator_for_v<EvaluatorT<Ops...>, Ops...> = true;

template<typename Evaluator, typename... Operators>
concept EvaluatorFor = is_evaluator_for_v<Evaluator, Operators...>;

template<typename Population, typename... Operators> class GA 
{
public:
    
    template<typename Evaluator> requires EvaluatorFor<Evaluator, Operators...>
    void EvaluatePopulation(Evaluator& evaluator) 
    {
        evaluator.Evaluate();
    }
};

    ((查看现场演示))

    • 8

相关问题