将字符串转换为帕斯卡字符串类型的 C 宏

Question

我想要一些关于宏的想法，将预处理器定义的字符串转换为帕斯卡类型的字符串，然后能够使用宏来初始化 const char 数组等。

这样的东西会很棒：

#define P_STRING_CONV(str) ...???...

const char *string = P_STRING_CONV("some string");

struct
{
    char str[30];
    ...
}some_struct = {.str = P_STRING_CONV("some_other_string")};

我已经尝试过这样的事情：

#define DEFINE_PASCAL_STRING(var, str, strlen) struct {uint8_t len; char content[strlen-1];} (var) = {sizeof(str)-1, (str)}

（strlen 参数可以去掉，但我需要定义大小。）

这很好用，但不能用于初始化结构中的元素。对于 const char 数组，我需要将其转换为其他变量。

有什么好主意吗？

Answer 1

将字符串转换为帕斯卡字符串类型

要转换字符串字面量，_Generic 和 复合字面量 将接近 OP 目标。

为了获得更好的解决方案，更多细节和示例用例将有助于说明 OP 的目标。

#define P_STRING_CONV(X) _Generic((X)+0, \
  char *: &((struct {char len; char s[sizeof(X)-1]; }){ (char)(sizeof(X)-1), (X) }).len \
  )

void dump(const char *s) {
  unsigned length = (unsigned char) *s++;
  printf("L:%u \"", length);
  while (length--) {
    printf("%c", *s++);
  }
  printf("\"\n");
}

int main(void) {
  dump(P_STRING_CONV(""));
  dump(P_STRING_CONV("A"));
  dump(P_STRING_CONV("AB"));
  dump(P_STRING_CONV("ABC"));
  return 0;
}

输出

L:0 ""
L:1 "A"
L:2 "AB"
L:3 "ABC"

---

@Jonathan Leffler 建议创建的类似pascal 的字符串也包含终止空字符。要使用上面的代码，只需将sizeof(X)-1 更改为sizeof(X)。然后通过访问pascal_like_string + 1，代码有一个指向有效C字符串的指针。

---

(X)+0将数组类型转换为指针

sizeof(X)-!!sizeof(X) 产生一个字符串字面量的大小，不包括它的 \0。至少 1 个。

struct {char len; char s[sizeof(X)-!!sizeof(X)]; } 是一个大小合适的类帕斯卡结构。

(struct {char len; char s[sizeof(X)-!!sizeof(X)]; }){ (char)(sizeof(X)-1), (X) } 是一个复合文字。

---

以下内容会将 C 字符串 转换为类似帕斯卡的字符串。请注意，作为类似帕斯卡的字符串，没有'\0'。

#include <limits.h>
#include <stdlib.h>
#include <string.h>
char *pstring_convert(char *s) {
  size_t len = strlen(s);
  assert(len <= UCHAR_MAX);
  memmove(s+1, s, len);
  s[0] = (char) (unsigned char) len;
  return s;
}

Answer 2

您可以将宏一分为二：

#define PASCAL_STRING_TYPE(size) struct { unsigned char len; char content[(size) - 1]; }
#define PASCAL_STRING_INIT(str) { .len = sizeof(str) - 1, .content = (str) }

然后像这样使用它：

static const PASCAL_STRING_TYPE(100) foo = PASCAL_STRING_INIT("foo");

struct bar {
   int answer;
   PASCAL_STRING_TYPE(100) question;
};
static const struct bar quux = {
    .answer = 42,
    .question = PASCAL_STRING_INIT("The Answer")
};

（未测试。）