c++ - 是否可以使用 c++20 的概念来模拟多态性？

Question

标题中几乎给出了这个问题。 Please considere the following godbolted code:

#include <iostream>

struct Base{};
struct Derived : Base{};

template<typename T>
concept IsDerivedFromBase = std::same_as<T, Base>;

template<typename T>
concept IsNotDerivedFromBase = not IsDerivedFromBase<T>;

template <IsDerivedFromBase T>
void foo(T bar) {std::cout << "IsBase" << std::endl;}

template <IsNotDerivedFromBase T>
void foo(T bar) {std::cout << "IsNotBase" << std::endl;}

int main()
{
    Base a;
    foo(a);

    Derived b;
    foo(b);

    Base* c = new Derived{};
    foo(*c);
    delete c;
}

上面代码的输出如下:

IsBase
IsNotBase
IsBase

我在问是否有可能以某种方式修改概念以模仿多态性。
输出应为:

IsBase
IsNotBase
IsNotBase

Answer 1

与概念相关的一切都是在编译时确定和“制定出来的”。暂时搁置 SFINAE:失败的概念要求会导致格式错误的程序和编译失败。
另一方面，C++ 中唯一可能“知道”您的 c 的部分。并没有“真正”指向 Base是 dynamic_cast ，在 处得到评估运行时间 .就 C++ 中的其他所有内容而言，您的 c指向 Base例如，这就是讨论的结束。
因此，总而言之，就编译时评估的所有内容而言，您的 c指向 Base没有任何其他概念可以使用，这将表明其他任何东西。