为什么我的示例不满足这个“要求”表达式？

Question

我正在尝试将概念与可变参数模板一起使用。我的模板类在下面。这个概念应该说：“每个T 类型都应该有一个成员函数Func，它接受FuncArgType 类型的输入。”

#pragma once

#include <tuple>
#include <concepts>
#include <iostream>

template<typename FuncArgType, typename... Ts>
requires requires
(FuncArgType func_arg, std::tuple<Ts...> args) {
    std::apply([&func_arg](auto&... ts) {(ts.Func(func_arg), ...); }, args);
}
class MyClass
{
public:
    MyClass() {}
};

在我看来这是正确的，尽管我使用 std::apply 时可能会出错。然后我尝试使用MyClass 创建一个对象。我定义了两个类A 和B 作为我的Ts。 FuncArgType 是 int。

class A {
public:
    A() {}
    void Func(int i) {
        std::cout << "Called Func of A";
    }

};


class B {
public:
    B() {}
    void Func(int i) {
        std::cout << "Called Func of B";
    }

};

我现在尝试创建MyClass 的实例。

#include "MyClass.h"

int main() {
    MyClass<int, A, B> my_class{}; // constraints not satisfied

    return 0;
}

错误信息是

Source.cpp(4,19): error C7602: 'MyClass': the associated constraints are not satisfied

（还有其他几条错误消息，但基本上都说my_class 无效。）

为什么A 和B 不满足我的约束条件？我的约束是否说出了我想要它说的内容？如何让我的约束说出上面的粗体声明？

Answer 1

您不需要 lambda 或 std::apply。您可以直接使用参数包：

template<typename FuncArgType, typename... Ts>
requires requires(FuncArgType func_arg, Ts... args) 
{
    (args.Func(func_arg), ...);
}

请注意，这允许隐式转换。

Here 是一个完整的例子。

但是，您的概念是正确的。 C++20 中有一个变化，允许在未评估的上下文中捕获 lambda。有关更多详细信息，请参阅this 答案。如果您更新编译器，您的概念应该是有效的。最新的 VS 预览版 (16.11) 支持此更改（尽管智能感知仍将其显示为错误）。