我想写一个概念，描述任何对象，有一个模板化的方法称为reportsError。该方法有一个模板参数T是从Error类派生（在源代码中定义的地方），可以接受任何数量的参数。函数reportsError的实现内部将这些数据转发到std::make_unique创建一个新的错误。
例如，下面的代码应该编译：

struct Error1 : public Error {}
struct Error2 : public Error {
    int a;
    Error2(int a): a(a) {};
}

template<class T> requires TheConceptIWant // don't know how to write this
void foo(T &t) {
    t.reportsError<Error1>();
    t.reportsError<Error2>(3);
}

字符串
但不包括：

template<class T> requires TheConceptIWant // don't know how to write this
void foo(T &t) {
    t.reportsError<int>(0); // int is not a subclass of Error.
}

型
我不知道怎么写，如果你知道，请写下你的答案。非常感谢！

• 传递给函数foo的对象不需要是Error的子类！它是TEMPLATE PARAMETER ON THE METHOD必须是！*

下面是一个示例对象，我希望它可以传递给函数foo，（实际上可能无法成功编译）：

struct ReportManager {
    template<class T, class... Args>
    void reportsError(Args&&... args) {
        auto error = std::unique_ptr<T>(new T(std::forward<Args>(args)...));

        // logic that handles and outputs this error to users.
    }
};

// somewhere

int main() {
    ReportManager obj;
    foo(obj);
}

型