如何在可变参数模板中声明 "implicit conversion"?
How to declare an "implicit conversion" in a variadic template?
我的目标是将数据发送到多个流。使用 boost::tee 是可能的。但是我想用可变模板编写一个包装器来使用多个流。
问题是我需要从后代结构到祖先结构的隐式转换。或者类似的东西。
#include <boost/iostreams/tee.hpp>
#include <boost/iostreams/stream.hpp>
#include <fstream>
#include <iostream>
using namespace std;
namespace bio = boost::iostreams;
using bio::tee_device;
using bio::stream;
template<typename ... Ts>
struct pu;
template<typename T1,typename T2>
struct pu<T1,T2>:public stream<tee_device<T1,T2>>
{
typedef stream<tee_device<T1,T2>> base_type;
operator base_type() { return static_cast<base_type&>(*this); }
base_type& base = static_cast<base_type&>(*this);
pu(T1& t1, T2& t2): base_type(tee_device<T1,T2>(t1,t2)) {}
};
template<typename T1,typename T2,typename T3,typename ... Ts>
struct pu<T1,T2,T3,Ts...> : public stream<tee_device<T1,pu<T2, T3, Ts ...>>>
{
typedef stream<tee_device<T1,pu<T2, T3, Ts ...>>> base_type;
operator base_type() { return static_cast<base_type&>(*this); }
pu(T1& t1, T2& t2, T3& t3, Ts& ... ts) : base_type(t2,t3,ts...){}
};
int main()
{
pu<ostream,ostream> hT(cout,cout); hT<<"2";
pu<ostream,ostream,ostream> hR(cout,cout,cout); hR<<"3";
return 0;
}
错误是
..\boost_1_56_0\boost\iostreams\detail\forward.hpp|73|error: no matching function for call to
'boost::iostreams::tee_device<std::basic_ostream<char>, pu<std::basic_ostream<char, std::char_traits<char> >, std::basic_ostream<char, std::char_traits<char> > > >::tee_device(std::basic_ostream<char>&, const std::basic_ostream<char>&)'|
预期输出为“22333”。 (我有“22”,但没有“333”。即没有 main 的第二行也能正常工作)
换句话说,我需要从
转换
template<typename T1,typename T2,typename T3,typename ... Ts>
到
stream<tee_device<T1,pu<T2, T3, Ts ...>>>
在模板内。
谢谢!
p.s。 (这是我的第一个 post)&&(我不是母语人士)
您已经有了您要求的转换,因为 class 类型已经可以隐式转换为它们的 public 基本类型,但这不是您解决错误所需要的。
tu
的可变参数特化中 base_type
构造函数的参数是错误的:
pu(T1& t1, T2& t2, T3& t3, Ts&... ts) : base_type(t2, t3, ts...) {}
您可以试试这个:
pu(T1& t1, T2& t2, T3& t3, Ts&... ts) : base_type(t1, pu<T2, T3, Ts...>(t2, t3, ts...)) {}
但这行不通,因为根据 documentation,如果 tee_device
构造函数的参数是流,那么它们必须绑定到对非常量的引用,因此它们必须是左值。第一个参数 t1
符合该标准,但第二个参数,一个临时的 pu
,不符合。
以下解决方案使用多重继承来合成左值pu
:
template <typename T>
struct hold
{
T held;
template <typename... Ts> hold(Ts&&... vs) : held(std::forward<Ts>(vs)...) {}
};
template<typename...>
struct pu;
template<typename T1, typename T2>
struct pu<T1, T2> : public stream<tee_device<T1, T2>>
{
typedef stream<tee_device<T1, T2>> base_type;
pu(T1& t1, T2& t2): base_type(tee_device<T1, T2>(t1, t2)) {}
};
template<typename T1, typename T2, typename T3, typename... Ts>
struct pu<T1, T2, T3, Ts...> : private hold<pu<T2, T3, Ts...>>
, public stream<tee_device<T1, pu<T2, T3, Ts...>>>
{
typedef stream<tee_device<T1, pu<T2, T3, Ts...>>> base_type;
pu(T1& t1, T2& t2, T3& t3, Ts&... ts) : hold<pu<T2, T3, Ts...>>(t2, t3, ts...)
, base_type(t1, this->held) {}
};
我的目标是将数据发送到多个流。使用 boost::tee 是可能的。但是我想用可变模板编写一个包装器来使用多个流。
问题是我需要从后代结构到祖先结构的隐式转换。或者类似的东西。
#include <boost/iostreams/tee.hpp>
#include <boost/iostreams/stream.hpp>
#include <fstream>
#include <iostream>
using namespace std;
namespace bio = boost::iostreams;
using bio::tee_device;
using bio::stream;
template<typename ... Ts>
struct pu;
template<typename T1,typename T2>
struct pu<T1,T2>:public stream<tee_device<T1,T2>>
{
typedef stream<tee_device<T1,T2>> base_type;
operator base_type() { return static_cast<base_type&>(*this); }
base_type& base = static_cast<base_type&>(*this);
pu(T1& t1, T2& t2): base_type(tee_device<T1,T2>(t1,t2)) {}
};
template<typename T1,typename T2,typename T3,typename ... Ts>
struct pu<T1,T2,T3,Ts...> : public stream<tee_device<T1,pu<T2, T3, Ts ...>>>
{
typedef stream<tee_device<T1,pu<T2, T3, Ts ...>>> base_type;
operator base_type() { return static_cast<base_type&>(*this); }
pu(T1& t1, T2& t2, T3& t3, Ts& ... ts) : base_type(t2,t3,ts...){}
};
int main()
{
pu<ostream,ostream> hT(cout,cout); hT<<"2";
pu<ostream,ostream,ostream> hR(cout,cout,cout); hR<<"3";
return 0;
}
错误是
..\boost_1_56_0\boost\iostreams\detail\forward.hpp|73|error: no matching function for call to
'boost::iostreams::tee_device<std::basic_ostream<char>, pu<std::basic_ostream<char, std::char_traits<char> >, std::basic_ostream<char, std::char_traits<char> > > >::tee_device(std::basic_ostream<char>&, const std::basic_ostream<char>&)'|
预期输出为“22333”。 (我有“22”,但没有“333”。即没有 main 的第二行也能正常工作)
换句话说,我需要从
转换template<typename T1,typename T2,typename T3,typename ... Ts>
到
stream<tee_device<T1,pu<T2, T3, Ts ...>>>
在模板内。
谢谢!
p.s。 (这是我的第一个 post)&&(我不是母语人士)
您已经有了您要求的转换,因为 class 类型已经可以隐式转换为它们的 public 基本类型,但这不是您解决错误所需要的。
tu
的可变参数特化中 base_type
构造函数的参数是错误的:
pu(T1& t1, T2& t2, T3& t3, Ts&... ts) : base_type(t2, t3, ts...) {}
您可以试试这个:
pu(T1& t1, T2& t2, T3& t3, Ts&... ts) : base_type(t1, pu<T2, T3, Ts...>(t2, t3, ts...)) {}
但这行不通,因为根据 documentation,如果 tee_device
构造函数的参数是流,那么它们必须绑定到对非常量的引用,因此它们必须是左值。第一个参数 t1
符合该标准,但第二个参数,一个临时的 pu
,不符合。
以下解决方案使用多重继承来合成左值pu
:
template <typename T>
struct hold
{
T held;
template <typename... Ts> hold(Ts&&... vs) : held(std::forward<Ts>(vs)...) {}
};
template<typename...>
struct pu;
template<typename T1, typename T2>
struct pu<T1, T2> : public stream<tee_device<T1, T2>>
{
typedef stream<tee_device<T1, T2>> base_type;
pu(T1& t1, T2& t2): base_type(tee_device<T1, T2>(t1, t2)) {}
};
template<typename T1, typename T2, typename T3, typename... Ts>
struct pu<T1, T2, T3, Ts...> : private hold<pu<T2, T3, Ts...>>
, public stream<tee_device<T1, pu<T2, T3, Ts...>>>
{
typedef stream<tee_device<T1, pu<T2, T3, Ts...>>> base_type;
pu(T1& t1, T2& t2, T3& t3, Ts&... ts) : hold<pu<T2, T3, Ts...>>(t2, t3, ts...)
, base_type(t1, this->held) {}
};