对参数包进行 dynamic_cast

Question

考虑这样的代码：

struct A
{
    A() = default;
    virtual ~A() = default;
};

struct B : public A
{
    B() = default;
    virtual ~B() = default;
};

struct C : public A
{
    C() = default;
    virtual ~C() = default;
};

struct D : public A
{
    D() = default;
    virtual ~D() = default;
};

struct E : public A
{
    E() = default;
    virtual ~E() = default;
};


template <typename CLASS1, typename CLASS2>
bool AreObjectsEqual(std::vector<A*>& vec)
{
    return std::all_of(vec.begin(), vec.end(),
    [](const auto v) { return (dynamic_cast<CLASS1*>(v) != nullptr || dynamic_cast<CLASS2*>(v) != nullptr); });
}

int main()
{
    std::vector<A*> vec = { new D{}, new C{} };
    std::cout << AreObjectsEqual<D, C>(vec) << std::endl;
    std::vector<A*> vec1 = { new D{}, new C{}, new E{} };
    std::cout << AreObjectsEqual<E, C>(vec) << std::endl;
    return 0;
}

以上代码检查指针向量是否包含可以转换为某些类的对象。但我真正想做的是检查两个以上的模板。类似于：

template <typename... CLASSES>
bool AreObjectsEqual(std::vector<A*>& vec)
{
    return std::all_of(vec.begin(), vec.end(),
        [](const auto v)
        {
            bool false = true;
            for(auto CLASS : CLASSES)
                retValue ||= (dynamic_cast<CLASS*>(v) != nullptr);

            return retValue;
        });
}

std::cout << AreObjectsEqual<B, C, D, E>(vec) << std::endl;

有可能实现吗？每个带有参数包的代码示例也有一个带有参数包的参数，我不需要那个。我只需要知道如何遍历模板... 类

Answer 1

在 C++17 及更高版本中，您可以使用折叠表达式。

template <typename... CLASSES>
bool AreObjectsEqual(std::vector<A*>& vec)
{
    return std::all_of(vec.begin(), vec.end(),
        [](const auto v)
        {
            return (... || (dynamic_cast<CLASSES*>(v) != nullptr));
        });
}

在 C++11 和 14 中，有一个有点混淆的习语。

template <typename... CLASSES>
bool AreObjectsEqual(std::vector<A*>& vec)
{
    return std::all_of(vec.begin(), vec.end(),
        [](const auto v)
        {
            bool retVal = false;
            using expand = int[];
            (void)expand{retVal = retVal || (dynamic_cast<CLASSES*>(v) != nullptr)...};
            return retVal;
        });
}

对参数包进行 dynamic_cast

Doing dynamic_cast over parameter pack

c++

templates

dynamic-cast