可变参数模板限定符

Question

我有一个带有可变数量参数的模板化界面：

template <typename... Args>
class Base {
public:
    virtual void f(Args...) = 0;
};

然后我继承另一个class：

class Derived : public Base<std::string, int, float> {
public:
    void f(std::string, int, float) override {}
};

在这里我想通过常量引用传递一个字符串（或其他大对象）。我知道我可以做到这一点：

template <typename... Args>
class Base {
public:
    virtual void f(const Args&...) = 0;
};

class Derived : public Base<std::string, int, float> {
public:
    void f(const std::string&, const int&, const float&) override {}
};

但是原始类型也必须通过引用传递。
我可以实现类似的目标吗？

class Derived : public Base<std::string, int, float> {
public:
    void f(const std::string&, int, float) override {}
};

Answer 1

是这样的吗？根据需要调整条件。

template <typename... Args>
class Base {
public:
    virtual void f(std::conditional_t<std::is_scalar_v<Args>, Args, const Args&>...) = 0;
};

虽然我同意@asynts。如果是我的代码，我会无条件地传递 const 引用。

可变参数模板限定符

Variadic template qualifiers

c++

inheritance

templates

variadic-functions

variadic-templates