如何修复 pimpl 实现中预期的主要表达式编译错误
How to fix expected primary-expression COMPILE ERROR in a pimpl implementation?
>背景
我有两个coord_t
实现
- 仅存储 x,y 的
simp_t
-
dep_t
它采用依赖父coord_t
并向其添加偏移量
这些是较低级别的实现类。 在用户级别,用法应如下所示:
coordinate_t<> ts( 3, 5 );
coordinate_t<> ts_derived( ts, 9 ); // ts + { 9, 9 }
问题
如果我使用 std::unique_ptr<>
实现底层,我有工作代码。 但是,当我尝试将实现转换为pimpl<>
时,我在g++ (Ubuntu/Linaro 4.7.3-1ubuntu1) 4.7.3
上收到以下编译错误:
junk.cpp: In constructor ‘coordinate_t<T>::coordinate_t(T, T)’:
junk.cpp:54:47: error: expected primary-expression before ‘>’ token
junk.cpp: In constructor ‘coordinate_t<T>::coordinate_t(const coordinate_t<T>&, const T&)’:
junk.cpp:58:46: error: expected primary-expression before ‘>’ token
我做错了什么,如何修复此问题以正确构建?
法典
代码按原样编译失败,但如果您注释掉#define USE_PIMPL
直接使用 std::unique_ptr<>
,则编译正常。
#include <memory>
template<typename T>
class pimpl
{
std::unique_ptr<T> m_up;
public:
pimpl() { }
template<typename ...Args> pimpl( Args&& ...args )
: m_up{ new T{ std::forward<Args>(args)... } } { }
template<typename D,typename ...Args>
static pimpl<T> Derived( Args&& ...args )
{
pimpl<T> x;
x.m.reset( new D{ std::forward<Args>(args)... } );
return x;
}
~pimpl() { }
};
template<typename T>
struct coord_t { };
template<typename T>
struct simp_t : public coord_t<T>
{
T m_x, m_y;
simp_t( T x, T y ) : m_x( x ), m_y( y ) { }
};
template<typename T>
struct dep_t : public coord_t<T>
{
using parent_t = coord_t<T>;
parent_t const& m_parent;
T m_offset;
dep_t( parent_t const& p, T offset ) : m_parent( p ), m_offset( offset )
{ }
};
#define USE_PIMPL // if we comment this out and USE_UNIQUE_PTR, it works ok
#ifdef USE_PIMPL
template<typename T=int>
class coordinate_t
{
pimpl<coord_t<T>> m_impl;
public:
coordinate_t( T x, T y ) :
m_impl( pimpl<coord_t<T>>::Derived<simp_t<T>>( x, y )) // ERROR HERE
{
}
coordinate_t( coordinate_t<T> const& parent, T const& offset ) :
m_impl( pimpl<coord_t<T>>::Derived<dep_t<T>>( parent, offset )) // ERROR HERE
{
}
~coordinate_t() { }
};
#else
template<typename T=int>
class coordinate_t
{
std::unique_ptr<coord_t<T>> m_impl;
public:
coordinate_t( T x, T y ) :
m_impl{ new simp_t<T>( x, y ) }
{
}
coordinate_t( coordinate_t<T> const& parent, T const& offset ) :
m_impl{ new dep_t<T>( *parent.m_impl, offset ) }
{
}
~coordinate_t() { }
};
#endif
int main()
{
coordinate_t<> ts( 3, 5 );
coordinate_t<> ts_derived( ts, 9 ); // ts + { 9, 9 }
}
解决方案
juanchopanza是对的:问题是,在调用函数模板之前Derived
类模板内部,我需要一个模板关键字。
修复/修改
- 添加了模板关键字以帮助编译器
- 由于类模板
pimpl<>
包含std::unique_ptr<>
成员,因此它需要一个 move 构造函数,否则您将无法从函数返回实例 - 我在
pimpl<>
中添加了便利运算符,因此从用户的角度来看,它看起来更像是一个std::unique_ptr<>
- 修复了
pimpl<>
中成员错误名称从m
到m_up
的愚蠢重构错误 - 消除非痘痘代码,更清晰
工作代码
template<typename T>
class pimpl
{
std::unique_ptr<T> m_up;
public:
pimpl() { }
pimpl( pimpl&& rhs ) : m_up( std::move( rhs.m_up )) { }
template<typename ...Args>
pimpl( Args&& ...args )
: m_up{ new T{ std::forward<Args>(args)... } } { }
template<typename D,typename ...Args>
static pimpl<T> Derived( Args&& ...args )
{
pimpl<T> x;
x.m_up.reset( new D{ std::forward<Args>(args)... } );
return x;
}
~pimpl() { }
T* operator->() { return m_up.get(); }
T& operator*() { return *m_up.get(); }
T const* operator->() const { return m_up.get(); }
T const& operator*() const { return *m_up.get(); }
};
template<typename T>
struct coord_t
{
};
template<typename T>
struct simp_t : public coord_t<T>
{
T m_x, m_y;
simp_t( T x, T y ) : m_x( x ), m_y( y ) { }
};
template<typename T>
struct dep_t : public coord_t<T>
{
using parent_t = coord_t<T>;
parent_t const& m_parent;
T m_offset;
dep_t( parent_t const& p, T offset ) : m_parent( p ), m_offset( offset )
{ }
};
template<typename T=int>
class coordinate_t
{
pimpl<coord_t<T>> m_impl;
using my_simp_t = simp_t<T>;
using my_dep_t = dep_t<T>;
using my_pimpl_t = pimpl<coord_t<T>>;
public:
coordinate_t( T x, T y ) :
m_impl( my_pimpl_t::template Derived<my_simp_t>( x, y ))
{
}
coordinate_t( coordinate_t<T> const& parent, T const& offset ) :
m_impl( my_pimpl_t::template Derived<my_dep_t>( *parent.m_impl, offset ))
{
}
~coordinate_t() { }
};
int main()
{
coordinate_t<> ts( 3, 5 );
coordinate_t<> ts_derived( ts, 9 ); // ts + { 9, 9 }
}
相关文章:
- 在VS2010-VS2015下编译时,如何使用decltype作为较大类型表达式的LHS
- 如何确认我的constexpr表达式实际上已经在编译时执行
- 断言中的Fold表达式在某些计算机上编译,但在其他计算机上不编译
- 即使使用调试编译标志,表达式也是"optimized out"
- 编译 llvm 3.1 时,为什么会出现错误:在">"标记之前预期主表达式
- C++ 编译错误:意外的类型名称"字符串":预期的表达式
- 如何在常量计算表达式中获取编译时错误?
- 不是 VS2017 中的编译时常量表达式
- C++编译错误(有符号和无符号整数表达式之间的比较)
- 将编译时定义大小的数组初始化为常量表达式
- 用MASM编译汇编文件时,缺少表达式操作员
- 如何判断表达式是在编译时还是运行时计算的?
- 基于用户表达式在编译时参数化函数
- 是否可以表示不应编译的表达式的静态_assert
- 使用折叠表达式初始化静态 constexpr 类数据成员不编译
- 当使用无效表达式时,概念是否应该无法编译?
- 减少 std::正则表达式编译时间 C++
- 如何修复 pimpl 实现中预期的主要表达式编译错误
- C++预期的主表达式编译错误
- 由于抽象模板arg的实例化,Boost::lambda表达式编译失败.任何解释和/或解决方法