C++如何检测类型是否支持以任意Foo模板实例为参数调用

方案1：多态实现（非侵入式类型擦除，无需修改原有Foo类） #

虚函数本身不支持模板参数，因此我们通过额外的类型擦除层适配所有Foo实例，不需要调整现有Foo的继承结构：

#include <utility>
// 抽象层：定义所有Foo实例共有的操作接口
struct FooViewBase {
    virtual int& operator[](std::size_t idx) = 0;
    virtual ~FooViewBase() = default;
};

// 包装层：为任意Foo实例自动生成适配实现
template<int size>
struct FooView : FooViewBase {
    Foo<size>& instance;
    explicit FooView(Foo<size>& f) : instance(f) {}
    int& operator[](std::size_t idx) override {
        return instance[idx];
    }
};

// 调整后的多态调用基类
struct FooCaller {
    // 虚函数接受擦除后的统一视图
    virtual void operator()(FooViewBase&& foo) = 0;

    // 模板辅助入口：自动包装任意Foo实例
    template<int size>
    void invoke(Foo<size>& f) {
        (*this)(FooView<size>(f));
    }
};

// 派生类实现示例
struct MyFooCaller : FooCaller {
    void operator()(FooViewBase&& foo) override {
        // 通用逻辑直接用[]访问即可，自动适配静态/动态Foo
        foo[0] = 42;
    }
};

使用时直接传入任意Foo实例即可：

Foo<10> static_foo;
Foo<-1> dynamic_foo;
MyFooCaller caller;
caller.invoke(static_foo);
caller.invoke(dynamic_foo);

方案2：泛型概念实现 #

原有概念的问题是未指定Foo的模板参数，我们调整约束规则，要求可调用对象可以接受任意Foo<size>类型的参数：

#include <concepts>

// 约束：类型T可以调用任意size的Foo<size>左值引用
template<class T>
concept CanCallFoo = 
    // 验证动态分配特化场景
    std::invocable<T, Foo<-1>&> &&
    // 验证典型静态分配场景，可根据需求扩展验证的size范围
    []<int... Sizes>(std::integer_sequence<int, Sizes...>) {
        return (std::invocable<T, Foo<Sizes>&> && ...);
    }(std::make_integer_sequence<int, 20>{});

// 符合约束的可调用类型示例
struct GenericFooCaller {
    // 模板化operator()自动适配所有Foo实例
    template<int size>
    void operator()(Foo<size>& f) const {
        f[1] = 1024;
    }
};

// 验证约束生效
static_assert(CanCallFoo<GenericFooCaller>);

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