可变模板限定符

问题描述

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

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

然后我从它继承另一个类：

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

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

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

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

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

class Derived : public Base<std::string,float) override {}
};

解决方法

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

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

---

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