正在对参数包执行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;

有可能做到这一点吗？每个带参数包的代码示例都有一个带参数包(parameterpack(的参数，我不需要它。我只需要知道如何迭代模板。。。类

Answer 1

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

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;
});
}