如何修复 pimpl 实现中预期的主要表达式编译错误

How to fix expected primary-expression COMPILE ERROR in a pimpl implementation?

本文关键字:表达式 编译 错误 pimpl 何修复 实现      更新时间:2023-10-16

>背景

我有两个coord_t实现

  1. 仅存储 x,y 的simp_t
  2. 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类模板内部,我需要一个模板关键字。

修复/修改

  1. 添加了模板关键字以帮助编译器
  2. 由于类模板pimpl<>包含 std::unique_ptr<> 成员,因此它需要一个 move 构造函数,否则您将无法从函数返回实例
  3. 我在pimpl<>中添加了便利运算符,因此从用户的角度来看,它看起来更像是一个std::unique_ptr<>
  4. 修复了 pimpl<> 中成员错误名称从 mm_up 的愚蠢重构错误
  5. 消除非痘痘代码,更清晰

工作代码

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 }
}