Question

对不起，我是社区和c ++的新手，请保持温和。

首先，因为这是在微控制器上运行，内存和编译的代码空间非常有价值。

我需要从各种来源获取输入并将它们输入到中央处理功能中。输入的汇总参数将被命名，具有不同类型，并允许进行类型检查，因此可以将它们与编译时未知的标准进行比较。我从这里和那里借了一些代码并提出以下内容。

template <typename T_ty> struct TypeInfo { static const char * name; };
template <typename T_ty> const char * TypeInfo<T_ty>::name = "unknown";

#define MAKE_TYPE_INFO( type )  template <> const char* TypeInfo<type>::name= #type;

// Type-specific implementations.
MAKE_TYPE_INFO( int );
MAKE_TYPE_INFO( float );
MAKE_TYPE_INFO( String );
MAKE_TYPE_INFO( char * );
MAKE_TYPE_INFO( bool );

class ParaBase
{
public:
  char*   _type ;
  char*   _name;
  void*   _child;

  const char* name()  { return _name; }

  ParaBase(){}

  ParaBase(const char* name, const char* type, const void * child )
    :
    _name( (char*) name ),
    _type( (char*) type ),
    _child( (void*) child ) {}


  template <class U>
  bool is()
  {
    return ( TypeInfo<U>::name == _type );
  }

};

template <class T>
class Para : public ParaBase
{

  T _value;

public:

    Para( const char* name,  const T value )
    :
     ParaBase( name,  TypeInfo<T>::name, this ),
     _value( value )
    {}

    Para( ParaBase& paraBase )
        :
        ParaBase( paraBase._name,  paraBase._type, this )
    {}


  operator T()  { return _value; }

  const T value() { return _value; }

    template <class U>
    U as()
    {
        return *( ( U *)  _value );
    }


};

要测试它，我会执行以下操作： -

ParaBase para[3];

para[0] = Para<char*>("Param-one", "Hi");
para[1] = Para<bool> ("Param-two", true);
para[2] = Para<float>("Param-three", 2.05);

我可以将 para 提供给中心函数。

bool ok = para[1].is<bool>(); // is true
bool notok = para[1].is<char*>(); // is false

所以类型检查有效，是的！

Para<char*> testDownCast =  ( Para<char*>)  para[0] ;
char* orig = testDownCast.as<char*>();

呃，不太好。重大失败在这里。我的testDownCast指针（如果我使用正确的术语）只包含垃圾。我做错了什么？

感谢任何帮助。在此先感谢您帮助新手。

Answer 1

你的问题在于：

ParaBase para[3];
para[0] = Para<char*>("Param-one", "Hi");

将Para对象分配给ParaBase对象。由于ParaBase对象是 base 对象，因此它不包含任何特定于派生对象（Para）的信息。在这种情况下，

 T _value;

来自Para对象的

丢失了。然后将ParaBase对象分配给Para对象：

Para<char*> testDownCast =  ( Para<char*>)  para[0] ;

这是正确的，但para [0]对象不包含有关_value的任何信息，因此无法将其复制回testDownCast。

要使您的示例正常工作，您应该更改ParaBase数组

ParaBase para[3];

到ParaBase指针数组

ParaBase* para[3];
Para<char*> realPara0("Param-one", "Hi");

para[0] = (ParaBase*)&realPara0; //Or use C++-style cast here

当然在这种情况下你不会有ParaBase对象，只有指向它们的指针。但是你可以转回Para对象。当然，您必须调整其余代码。

顺便说一下 - 它的低占用微控制器代码并不好。对于您使用的每个模板类型，将生成新代码。每次复制对象都会导致堆栈增长（不是问题直到你有小对象）。＆＃39;经典＆＃39;微控制器的实现将依赖于 union ，也许还有关于通过union传递的类型的其他信息。

我并没有告诉他们不要在微控制器中使用C ++（我非常喜欢这个！），但这应该通过意识来完成。以下是在嵌入式系统中使用C ++的精彩文章（两部分）： http://www.embedded.com/design/programming-languages-and-tools/4438660/1/Modern-C--in-embedded-systems---Part-1--Myth-and-Reality

要求将各种类型的数组传递给微控制器上的规则引擎。有铸造问题

1 个答案: