1

我正在开发一个嵌入式应用程序，其中设备通过命令界面进行控制。我在 VC 中模拟了命令调度程序，并让它运行得令我满意；但是当我将代码移到嵌入式环境时，我发现编译器的指针函数的实现被破坏了。

以下是我最初实现代码的方式（在 VC 中）：

/* Relevant parts of header file  */
typedef struct command {
  const char *code;
  void *set_dispatcher;
  void *get_dispatcher;
  const char *_description;
} command_t;

#define COMMAND_ENTRY(label,dispatcher,description) {(const char*)label, &set_##dispatcher, &get_##dispatcher, (const char*)description} 


/* Dispatcher data structure in the C file */
const command_t commands[] = {
  COMMAND_ENTRY("DH", Dhcp, "DHCP (0=off, 1=on)"),
  COMMAND_ENTRY("IP", Ip, "IP Address (192.168.1.205)"),
  COMMAND_ENTRY("SM", Subnet, "Subunet Mask (255.255.255.0)"),
  COMMAND_ENTRY("DR", DefaultRoute, "Default router (192.168.1.1)"),
  COMMAND_ENTRY("UN", Username, "Web username"),
  COMMAND_ENTRY("PW", Password, "Web password"),
  ...
}


/* After matching the received command string to the command "label", the command is dispatched */
if (pc->isGetter)
  return ((get_fn_t)(commands[i].get_dispatcher))(pc);
else
  return ((set_fn_t)(commands[i].set_dispatcher))(pc);
  }

如果不使用函数指针，似乎我唯一的希望是使用 switch()/case 语句来调用函数。但我想避免手动维护一个大的 switch() 语句。

我想做的是将所有 COMMAND_ENTRY 行移动到一个单独的包含文件中。然后用不同的#define 和#undefines 包装包含文件。就像是：

/* Create enum's labels */
#define COMMAND_ENTRY(label,dispatcher,description) SET_##dispatcher, GET_##dispatcher
typedef enum command_labels = {
#include "entries.cinc"
  DUMMY_ENUM_ENTRY} command_labels_t;
#undefine COMMAND_ENTRY


/* Create command mapping table */
#define COMMAND_ENTRY(label,dispatcher,description) {(const char*)label, SET_##dispatcher, GET_##dispatcher, (const char*)description} 
const command_t commands[] = {
#include "entries.cinc"
  NULL /* dummy */ };
#undefine COMMAND_ENTRY

/*...*/

int command_dispatcher(command_labels_t dispatcher_id) {
/* Create dispatcher switch statement */
#define COMMAND_ENTRY(label,dispatcher,description) case SET_##dispatcher: return set_##dispatcher(pc); case GET_##dispatcher: return get_##dispatcher(pc);
switch(dispatcher_id) {
#include "entries.cinc"
default:
  return NOT_FOUND;
}
#undefine COMMAND_ENTRY
}

有没有人看到更好的方法来处理这种情况？可悲的是，“获得另一个编译器”不是一个可行的选择。:(

---编辑添加：只是为了澄清，特定的嵌入式环境被破坏，因为编译器应该创建一个“函数指针表”，然后编译器使用它来通过指针解析对函数的调用。不幸的是，编译器坏了，没有生成正确的函数表。

所以我没有一个简单的方法来提取函数地址来调用它。

--- 编辑#2：啊，是的，使用 void *(set|get)_dispatcher 是我尝试查看问题是否与 func 指针的类型定义有关。本来，我有

typedef int (*set_fn_t)(cmdContext_t *pCmdCtx);
typedef int (*get_fn_t)(cmdContext_t *pCmdCtx);

typedef struct command {
  const char *code;
  set_fn_t set_dispatcher;
  get_fn_t get_dispatcher;
  const char *_description;
} command_t;
4

7 回答 7

7

您应该尝试更改您的struct command，以便函数指针具有实际类型：

typedef struct command {
  const char *code;
  set_fn_t set_dispatcher;
  get_fn_t get_dispatcher;
  const char *_description;
} command_t;

不幸的是，不能保证函数指针能够与 void 指针相互转换（仅适用于指向对象的指针）。

什么是嵌入式环境？

鉴于问题更新中发布的信息，我发现它确实是一个错误的编译器。

我认为您提出的解决方案似乎很合理 - 它可能与我想出的类似。

于 2008-11-12T19:09:34.847 回答
3

函数指针实际上并不需要适合 void*。您可以检查以确保您调用的值实际上是函数的地址。如果不是，请在结构中使用函数指针类型：get_fn_t 或 IIRC void(*)(void) 保证与任何函数指针类型兼容。

编辑：好的，假设不能使按值调用起作用，我想不出比自动生成 switch 语句更简洁的方法来做你需要的事情。您可以在 C 预处理器之前为 ruby​​/python/perl/php/whatever 使用现成的 ASP 样式预处理器模式。像这样的东西：

switch(dispatcher_id) {
<% for c in commands %>
    case SET_<% c.dispatcher %>: return set_<% c.dispatcher %>(pc); 
    case GET_<% c.dispatcher %>: return get_<% c.dispatcher %>(pc);
<% end %>
default:
    return NOT_FOUND;
}

可能比宏/包含技巧更具可读性，但是对于这么少量的代码来说，引入一个新工具和设置 makefile 可能不值得。并且调试信息中的行号与您认为是源文件的文件无关，除非您在预处理器中做额外的工作来指定它们。

于 2008-11-12T19:10:19.570 回答
2

你能让供应商修复编译器吗？

于 2008-11-12T19:12:23.903 回答
1

指向函数的指针损坏到什么程度？

如果编译器允许您获取函数的地址（我来自 C++，但这&getenv就是我的意思），您可以将调用约定的东西包装到汇编器中。

如前所述，我是 C++ssie，但有些东西

; function call
push [arg1]
push [arg2]
call [command+8] ; at the 4th location, the setter is stored
ret

如果即使这被破坏了，您也可以定义一个指针数组extern void*，再次在汇编中定义。

于 2008-11-12T19:07:38.453 回答
0

试试这个语法：

返回 (*((get_fn_t)commands[i].get_dispatcher))(pc);

自从我完成 C 和函数指针以来已经有一段时间了，但我相信原始 C 语法在取消引用函数指针时需要 * 但大多数编译器会让你在没有它的情况下逃脱。

于 2008-11-12T19:03:43.907 回答
0

您可以访问链接地图吗？如果是这样，也许您可​​以绕过不稳定的函数指针表：

unsigned long addr_get_dhcp = 0x1111111;
unsigned long addr_set_dhcp = 0x2222222; //make these unique numbers.

/* Relevant parts of header file  */
typedef struct command {
  const char *code;
  unsigned long set_dispatcher;
  unsigned long get_dispatcher;
  const char *_description;
} command_t;

#define COMMAND_ENTRY(label,dispatcher,description) {(const char*)label, 
    addr_set_##dispatcher, addr_get_##dispatcher, (const char*)description}

现在编译，从链接图中获取相关地址，替换常量，重新编译。什么都不应该移动，所以地图应该保持不变。（使原始常量唯一应该防止编译器将相同的值折叠到一个存储位置。您可能需要很长很长，具体取决于架构）

如果这个概念有效，您可能会添加一个运行脚本的链接后步骤以自动进行替换。当然，这只是一个理论，它可能会惨败。

于 2008-11-12T23:14:18.363 回答
0

也许，您需要再次查看结构​​：

typedef struct command {
  const char *code;
  void *set_dispatcher; //IMO, it does not look like a function pointer...
  void *get_dispatcher; //more like a pointer to void
  const char *_description;
} command_t;

假设您的调度程序具有以下类似的函数定义：

//a function pointer type definition
typedef int (*genericDispatcher)(int data);

假设调度程序如下所示：

int set_DhcpDispatcher(int data) { return data; }
int get_DhcpDispatcher(int data) { return 2*data; }

因此，修改后的结构将是：

typedef struct command {
  const char *code;
  genericDispatcher set_dispatcher; 
  genericDispatcher get_dispatcher; 
  const char *_description;
} command_t;

您的宏将是：

#define COMMAND_ENTRY(label,dispatcher,description) \
{   (const char*)label, \
    set_##dispatcher##Dispatcher, \
    get_##dispatcher##Dispatcher, \
    (const char*)description }

然后，您可以像往常一样设置数组：

int main(int argc, char **argv)
{
    int value1 = 0, value2 = 0;

    const command_t commands[] = {
      COMMAND_ENTRY("DH", Dhcp, "DHCP (0=off, 1=on)")
    };

    value1 = commands[0].set_dispatcher(1);
    value2 = commands[0].get_dispatcher(2);

    printf("value1 = %d, value2 = %d", value1, value2);

    return 0;
}

纠正我，如果我在某处错了...... ;)

于 2008-12-03T17:15:36.733 回答