C++ Concepts在纯虚类上的应用问题及解决方案咨询

问题背景 #

在使用C++ Concepts约束向量转字符串的模板方法时，搭配纯虚接口出现编译错误。以下是简化复现代码：

#include <iostream>
#include <string>
#include <vector>
#include <memory>
#include <algorithm>
#include <type_traits>

template<typename Content, typename ToString>
concept IsStringConverter = requires(Content c, ToString p) // 确保可以执行 std::string s = p(c);
{
    { p.operator()(c) } -> std::convertible_to<std::string>;
};

template<typename Content, typename ToString>
// requires IsStringConverter<Content, ToString> // 注释掉时编译正常
std::string toString(const std::vector<Content> &container, const ToString &printer) {
    std::string result;
    for(const auto &elem:container) result+=printer(elem)+" ";
    return result;
}

class StringPrinterInterface {
public:
    virtual ~StringPrinterInterface() = default;
    virtual std::string operator()(const std::string &input) const = 0;
};

class StringPrinterImpl : public StringPrinterInterface {
public:
    virtual std::string operator()(const std::string &input) const {return input;};
};

int main() {
    auto stringVector = std::vector<std::string>{"alpha", "beta", "gamma"};
    auto stringPrinterF     = [](const std::string &str) {return str;};
    auto stringSizePrinterF = [](const std::string &str) {return std::to_string(str.size());};

    std::cout << toString(stringVector, stringPrinterF)     << std::endl;
    std::cout << toString(stringVector, stringSizePrinterF) << std::endl;

    std::unique_ptr<StringPrinterImpl> sizePrinter = std::make_unique<StringPrinterImpl>();
    std::cout << toString(stringVector, *sizePrinter) << std::endl;

    std::unique_ptr<StringPrinterInterface> sizePrinter2 = std::make_unique<StringPrinterImpl>();
    std::cout << toString(stringVector, *sizePrinter2) << std::endl; // 启用requires时编译失败！

   // 临时 workaround
   auto wrapper = [&sizePrinter2](const std::string &str) {return sizePrinter2->operator()(str);};
    std::cout << toString(stringVector, wrapper) << std::endl; 
}

编译错误信息：

error: invalid abstract parameter type
...
note: because the following virtual functions are pure

用户问题 #

1. 为何概念机制无法应用于接口？我传递的是已实例化对象，方法已实现。
2. 是否有方案可同时支持lambda或纯虚接口？还是我的实现有根本性错误？
3. 通过lambda包装接口实现需求，这是否是有效解决方案？

问题解答 #

1. 概念机制无法适配接口的原因 #

核心问题出在模板参数推导的静态类型匹配上：
当你传递*sizePrinter2时，它的静态类型是StringPrinterInterface（抽象类），模板推导会将ToString直接推导为这个抽象类类型，而非实际的派生类StringPrinterImpl。
Concept检查的是推导后的静态类型：你的Concept要求p.operator()(c)是合法表达式，但抽象类的operator()是纯虚函数，静态类型层面不允许直接调用纯虚函数（即使动态类型有实现），因此Concept不满足，触发编译错误。

你传递的对象虽然是派生类实例，但模板只会基于静态类型做检查，不会考虑动态多态的实际实现。

2. 同时支持Lambda和纯虚接口的方案 #

你的Concept实现存在细节问题，调整后即可同时支持两种类型：

• 调整Concept的检查逻辑：不要直接检查p.operator()(c)，而是直接检查函数调用语法p(c)的合法性——这种语法会自动适配Lambda、函数对象、以及通过虚函数调用的接口类。
• 确保Concept中使用const ToString&作为参数类型，避免对抽象类做值语义的操作（抽象类无法实例化，值传递非法）。

修改后的代码如下：

template<typename Content, typename ToString>
concept IsStringConverter = requires(const ToString& p, const Content& c) {
    { p(c) } -> std::convertible_to<std::string>;
};

template<typename Content, typename ToString>
requires IsStringConverter<Content, ToString>
std::string toString(const std::vector<Content>& container, const ToString& printer) {
    std::string result;
    for(const auto& elem : container) result += printer(elem) + " ";
    return result;
}

此时传递*sizePrinter2（const StringPrinterInterface&类型）时，Concept检查的是通过引用调用p(c)，静态类型层面这是合法的（虚函数调用会动态分派到派生类实现），因此Concept满足，编译正常。

3. Lambda包装方案的有效性 #

Lambda包装是完全有效的解决方案，尤其适合无法修改原有模板或Concept的场景。它通过捕获抽象类的指针/引用，将虚函数调用转换为普通的Lambda调用，避开了模板推导到抽象类类型的问题，同时保留了动态多态的特性。

不过如果可以修改模板和Concept，直接调整Concept的检查逻辑会更简洁，不需要额外的包装层。

内容的提问来源于stack exchange，提问作者GabrielGodefroy