使用SFINAE确保可变参数包参数是由特定类型导出的

Question

我目前有一个具有以下结构的类层次结构：

#include <list>
#include <memory>

class Base {
protected:
    std::list<std::shared_ptr<Base>> items_;
    Base(){}
public:
    addItem(Base* derived) { 
        // adds derived to items_
        // and checks for duplicates
    }
};

class DerivedA : public Base {
public:
    DerivedA() {}
}

class DerivedB : public Base {
public:
    DerivedB() {}
}

我可以如下使用它们：

int main() { 
    DerivedA a1, a2, a3;
    DerivedB b1, b2, b3;

    a1.addItem(&a2); a1.addItem(&a3); a1.addItem(&b1); a1.addItem(&b2); a1.addItem(&b3);
    a2.addItem(&a1); a2.addItem(&a3); a2.addItem(&b1); a2.addItem(&b2); a2.addItem(&b3);
    a3.addItem(&a1); a3.addItem(&a2); a3.addItem(&b1); a3.addItem(&b2); a3.addItem(&b3);       

    b1.addItem(&a1); b1.addItem(&a2); b1.addItem(&a3); b1.addItem(&b2); b1.addItem(&b3);
    b2.addItem(&a1); b2.addItem(&a2); b2.addItem(&a3); b2.addItem(&b1); b2.addItem(&b3);
    b3.addItem(&a1); b3.addItem(&a2); b3.addItem(&a3); b3.addItem(&b1); b3.addItem(&b2);

    return 0;
}

正如您所见，在：：addItem（）调用中存在大量冗余。我希望能够这样使用它们：

int main() {
    DerivedA a1, a2, a3;
    DerivedB b1, b2, b3;

    a1.addItem(&a2, &a3, &b1, &b2, &b3);
    a2.addItem(&a1, &a2, &b1, &b2, &b3);
    a3.addItem(&a1, &a2, &b1, &b2, &b3);

    b1.addItem(&a1, &a2, &a3, &b2, &b3);
    b2.addItem(&a1, &a2, &a3, &b1, &b3);
    b3.addItem(&a1, &a2, &a3, &b1, &b2);

    return 0;
}

所以我想在我的抽象基类中的：：addItem（）。。。要求如下：

• 我将传入对象的地址（函数接受指向对象的指针），因为基类存储了一个列表shared_ptr

这就是我迄今为止所做的尝试：

template<typename... Args, std::enable_if_t<std::is_base_of_v<Base, Args>...> { // How to use SFINAE here?
void addItem(Args*&& ... args) {
    for ( auto& it : items_ ) { 
        // I also need to check a member variable from each of the `Args...` or derived types
        // ::foo() is not shown in the above classes but exists in my code (its not important here)
        // what is important is how do I expand (args) within an if statement?
        if ( args->foo() == l->foo() ) { 
            // do something
        }
        // add to list
    }
}

我正在尝试将我的普通成员函数转换为如上所述的行为，因为我正在考虑使用Varidiac函数模板和SFINAE来确保参数包的每个参数至少来自Base。

我不确定正确的语法是什么，也不确定要使用的库函数集...我尝试过使用is_same、is_base_of、连接和其他std函数模板...另一个问题是如何正确扩展if语句中的参数包。...是否有特定的符号，或者我必须使用折叠表达式？




Answer 1

只需添加一个重载，并使用初始值设定项列表：

addItem(std::initializer_list<Base*> items)
{
    for(auto item: items)
        addItem(item);
}

您只需使用带括号的初始化列表调用它：a1.add项目（{