c++ - 具有先前参数类型匹配的参数包
问题描述
所以我用一个简单的例子来尝试理解可变参数模板和一些 tmp 技术。该示例包含一个具有 toc() 方法的 Timer 类。toc 方法用于停止计时器并调用决定做什么的函数(打印它,将其保存在变量中......)
所以我把这个想法编码成这样(我删除了计时位)
class VerbosePolicy {
public:
VerbosePolicy() {}
explicit VerbosePolicy(const std::string &message) : m_message(message) {}
VerbosePolicy(VerbosePolicy &&other) { m_message = other.m_message; }
void operator()(double time) { std::cout << m_message << time << std::endl; }
private:
std::string m_message;
};
template <typename Policy, typename... Args> class Timer {
public:
Timer(Args... args) : m_policy(Policy(std::forward<Args>(args)...)) {}
void toc(double time) { m_policy(time); }
private:
Policy m_policy;
};
在这里,我创建一个带有 Policy 的 Timer,并使用参数包调用 Policy 的 ctor。这样我可以控制策略的工作方式(例如,我可以传递一个变量并将结果存储在那里)。
现在,我想用这个
int main(int argc, char **argv) {
std::string string = "Elapsed time";
Timer<VerbosePolicy> timer(string);
timer.toc(1.0);
}
这里的问题是编译器无法确定该字符串是参数包的一部分,并且它试图将其与策略时间相匹配,但失败了。
我尝试为 Timer ctor 添加默认参数
Timer(Args... args, Policy policy = Policy())
但这也失败了,因为它仍在尝试将 de 字符串与策略类型匹配(在这种情况下,它尝试调用第二个 ctor,但由于它被标记为显式而失败。如果我删除它,它会编译,但会出错,因为政策价值不正确)。
如果我写,一切都很好
Timer<VerbosePolicy, std::string> timer(string)
因为它不再需要推断可变参数模板。
无论如何我可以避免写 std::string 吗?谢谢!
编辑:
因此,为了完整并解决有效答案的评论中谈到的一些问题,我一直在尝试在参数与 Timer 相同类型的参数时停用可变参数构造函数,但没有成功。
我的方法是
template <typename T, typename... Tail> struct first_of { using type = T; };
template <typename Policy> class Timer {
public:
template <
typename... CArgs,
std::enable_if_t<!std::is_same<Timer<Policy>,
typename first_of<CArgs...>::type>::value,
int> = 0>
Timer(CArgs &&... args) : m_policy(std::forward<CArgs>(args)...) {}
Timer(const Timer<Policy> &other) : m_policy(other.m_policy) {}
void toc(double time) { m_policy(time); }
private:
Policy m_policy;
};
int main(int argc, char **argv) {
std::string string = "Elapsed time";
Timer<VerbosePolicy> timer(string);
Timer<VerbosePolicy> timer2(timer);
timer.toc(1.0);
}
但是编译器仍然尝试对 timer2 使用可变参数构造函数。我不确定它为什么要这样做,因为传递给 std::is_same 的两种类型应该相等,因此应该停用 ctor。
我有什么误解?
再次感谢!
解决方案
您是否尝试制作构造函数模板?
像 :
template <typename Policy> class Timer {
public:
template<typename ...Args>
Timer(Args && ... args) : m_policy(std::forward<Args>(args)...) {}
void toc(double time) { m_policy(time); }
private:
Policy m_policy;
};
顺便说一句,您std::forward
以错误的方式使用。你正在做的是:
template<typename T>
void foo(T v) {
std::forward<T>(v);
}
在这样的代码中,T
是一个非参考值。所以 forward 它在这里的意思是:T&&
所以它和“move”是一样的
如果要转发引用,则必须使用转发引用:
template<typename T>
void foo(T &&v) {
std::forward<T>(v);
}
如果参数是左值引用,这里T
是 aT&
如果参数是右值引用,T
是 aT
并且通过转发引用 v 分别是 a T& &&
so a T&
和T &&
so a T&&
;)
编辑:正如评论中所说,当您将 Timer 提供给构造函数时,此代码不起作用。有一些方法可以避免这个问题,例如 SFINAE 可以帮助你;)
编辑 2:你想跟踪Args ...
你在评论中所说的。
假设您有这样的课程:
template<typename ...Args>
class Foo {
public:
Foo(Args... args) : noexcept m_tuple{std::move(args)...} {}
private:
std::tuple<Args...> m_tuple;
};
你想推断类型:有两种方法:
1) 在 C++ 17 之前:
template<typename ...Args>
Foo<Args...> make_foo(Args ...args) {
return {args...};
}
auto d = make_foo(5, 3.0); // Foo<int, double>
2) c++ 17 之后
template<typename ...Args>
Foo(Args...) -> Foo<Args...>;
Foo foo{3.0, "Lol"s}; // Foo<double, std::string>
它的名称是扣除指南。
推荐阅读
- objective-c - 以编程方式打开显示首选项?
- prometheus - Prometheus avg_over_time 和除非包含太多数据
- git - 无法从 Windows 10 WLS (ubuntu) 推送到 github 存储库
- machine-learning - 如何将新向量添加到 Keras 嵌入矩阵
- reactjs - MUI:有条件地禁用按钮
- data-structures - 如何在 UnionFind 数据结构中正确实现加权联合和路径压缩
- python - Python 最佳实践。从另一个 python 文件调用命令行 python 文件
- java - 弹簧靴。尝试打印非存储实体时没有代理
- bash - 需要通过 SED 或 GREP 清理文件
- mysql - docker for windows & mysql 官方容器