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

次の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") 
}; 

（テストされていません。）

Answer 2

文字列タイプ

文字列リテラルを変換するには、_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作成パスカルのような文字列も終了ヌル文字が含まれていることをお勧めします。上記のコードでは、sizeof(X)-1をsizeof(X)に変更するだけです。そしてpascal_like_string + 1にアクセスすると、コードには有効なC文字列へのポインタがあります。

---

​​は

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