【问题标题】:Type-checking tagged pointers类型检查标记指针
【发布时间】:2021-12-25 20:07:15
【问题描述】:

上周我在玩一个带螺纹的后缀树。树太大,无法使用递归进行遍历,我之前已经以各种方式解决了这个问题——使用显式堆栈、延续,你可以命名它——这次我添加了来自所有节点的线程指针,所以我可以遍历沿途没有任何额外分配的树。

节点的基本结构是

struct node
{
    // more data here...
    struct node *child;
    tagged_ptr sibling;
};

其中tagged_ptr 是指向struct node 的指针,但最低位用于指示它是指向真正的兄弟姐妹还是指向祖先的兄弟姐妹,遍历将在遍历子节点后进行树。

这个想法是您可以在 childsibling 指针之后遍历(子)树:

static inline struct node *next(struct node *n)
{
    return n->child ? n->child : tp_pointer(n->sibling);
}

...
    struct node *sentinel = tp_pointer(n->sibling);
    for (; n != sentinel; n = next(n))
        // do stuff wit n

(哨兵是你看到n的整个子树后返回的地方),或者你可以在向下搜索树时只遍历一个节点的子节点,使用

static inline struct node *next_sibling(struct node *n)
{
    return tp_is_taggged(n->sibling) ? 0 : tp_pointer(n->sibling);
}

...

    for (struct node *child = n->child;
         child;
         child = next_sibling(child))
        // do something with child...

对于这个想法,我需要能够区分真正的兄弟指针和线程指针。至少我是这么认为的,否则我还没想通如何通过真正的孩子来识别自己。

这就是标记指针的用武之地。struct node 的对齐方式高于 1

_Static_assert(_Alignof(struct node) > 1,
               "Nodes must have alignment higher than one.");

所以最低有效位是免费的,我可以利用它。我以前用过几次,得到一个标记指针并不难。可能是这样的:

typedef uintptr_t tagged_ptr;
static inline tagged_ptr tp_set(tagged_ptr tp)        { return tp | 1; }
static inline tagged_ptr tp_unset(tagged_ptr tp)      { return tp & ~1; }
static inline void *     tp_pointer(tagged_ptr tp)    { return (void *)tp_unset(tp); }
static inline bool       tp_is_taggged(tagged_ptr tp) { return tp & 1; }
static inline tagged_ptr tag_ptr(void *ptr, bool tag) { return (tagged_ptr)ptr | tag; }

让我很困扰的是,我用这种方法丢弃了所有类型信息。我使用uintptr_t 类型而不是struct node *,所以我不会不小心跟随带有标签的指针,但就类型安全而言。没有什么能阻止我设置一个指向struct node * 的标记指针和一个指向int * 的指针。

当然,在这个应用程序中这不是什么大问题。只有一种标记指针,我可以确保转换为正确的类型。无论如何,我需要一些转换来获取指针中的位。但我想知道如果您想要更多类型安全性,使用通用标记指针可以走多远。

我可以解决部分问题。我可以定义记住它们的类型的标记指针,并且我可以确保您只为它们分配正确类型的指针。使用指针和uintptr_t 的联合,我确保您不能分配错误时间的指针:

#define tagged_ptr(T)                                            \
    _Static_assert(sizeof(T *) == sizeof(uintptr_t),             \
                   "Pointer type must match size of uintptr_t"); \
    union {                                                      \
        T *ptr;                                                  \
        uintptr_t bits;                                          \
    }

#define tp_set(TP, P, TAG)      \
    do                          \
    {                           \
        (TP).ptr = P;           \
        (TP).bits |= ((TAG)&1); \
    } while (0)

#define tp_tag(TP) \
    ((TP).bits & 1)

现在您可以声明不同类型的标记指针,并且可以分配给它们并标记它们,但只能使用正确类型的指针。

struct foo
{
    int a, b;
    tagged_ptr(struct foo) t;
};
_Static_assert(_Alignof(struct foo) > 1,
               "Least significant bit must be free for tags.");
_Static_assert(_Alignof(int) > 1,
               "Least significant bit must be free for tags.");

...


    struct foo *x = malloc(sizeof *x);
    tp_set(x->t, x, 1);
    assert(tp_tag(x->t) == 1);

    int i = 42;
    tagged_ptr(int) tip;
    tp_set(tip, &i, 0);
    assert(tp_tag(tip) == 0);

    //tp_set(x->t, &i, 0); // error
    //tp_set(tip, x, 0);   // error

但是,如果不使用编译器扩展,我无法取回指针。

如果我有 __typeof__ 我可以这样做:

#define tp_ptr(TP) \
    ((__typeof__((TP).ptr))((TP).bits & ~1))

它从标记的指针中获取类型并返回它,从而使类型检查器保持在循环中。

如果我没有__typeof__,但我有 GCC 的语句表达式,我可以提供类型,创建一个新的标记指针,我可以在其中屏蔽位,检查指针的类型,屏蔽并返回:

#define tp_ptr(T, TP)                        \
    ({ tagged_ptr(T) tp;                     \
       tp.ptr = (TP).ptr;  /* checks type */ \
       tp.bits &= ~1;                        \
       tp.ptr; })

在提取指针时是否有更便携的方法来保留类型信息,即在不完全丢弃类型信息的情况下屏蔽最后一位的方法?当然,我必须强制转换以获得位,但我可以保留类型并使用上述两种方法进行转换。它们只需要编译器扩展,因此不符合标准。

我意识到在这里选择标准 C 解决方案有点愚蠢,考虑到第二个我开始摆弄指针中的位,我已经离开了可移植性并进入了实现/未定义的行为,但是在这个中使用了低位way 可能比编译器扩展在更多的地方工作,我很好奇是否有办法做到这一点。

我并不完全需要它,只是让我很困扰我不知道该怎么做。我很想知道它不能完成,或者知道如何去做。两者都同样适合我。不知道困扰着我。

【问题讨论】:

  • GCC 有typeof,所以如果编译器支持它,我建议只使用typeof,并接受其他编译器的类型检查较弱。 (在那些编译器中使用void *。)如果你偶尔在 GCC 中编译你的代码,那么就会发现类型错误。
  • 我知道 typeof 解决了这个问题。毕竟这是第一个解决方案(只是使用 typeof 而不是 typeof,因为它在 gcc 上是相同的,但也适用于 clang)。我可以通过编译器扩展轻松做到这一点。问题是它是否可以在没有的情况下完成。这是我无法轻易弄清楚的。
  • 但是,是的,只要我总是在提交时使用 gcc 进行编译,我就会抓住它。不管使用什么其他编译器。

标签: c pointers


【解决方案1】:

通常情况下,您您提出要求后立即提出解决方案...

这将起作用,并且在标准 C 中:

#define tp_ptr(T, TP) \
    ((T *)0 == (TP).ptr, (T *)((TP).bits & ~1))

如果我不需要新变量,我不需要语句表达式,我可以在返回逗号表达式中的强制转换操作位之前简单地检查指针的类型与所需类型的 NULL 指针。

((T *)) == (TP).ptr) 表达式进行类型检查。在确定T 是正确的类型后,我可以返回该类型的指针。

我不使用比较的结果,所以我是否有一个 NULL 指针并不重要,我希望任何编译器都可以优化比较。

【讨论】:

    猜你喜欢
    • 2012-10-05
    • 2011-05-04
    • 1970-01-01
    • 2012-10-26
    • 1970-01-01
    • 1970-01-01
    • 2012-09-24
    • 1970-01-01
    相关资源
    最近更新 更多