Как смягчить ошибку в Rakudo с NativeCall?

Question

Я хочу иметь возможность использовать двойной указатель в классе с REPR CStruct/CPointer:

typedef struct CipherContext {
          void    *cipher;
    const uint8_t *key;
          size_t   key_len;
    const uint8_t *path;
          size_t   path_len;
          size_t   block_size;
          void    *handle;

          int      (*cipher_init)(void **, const uint8_t *, size_t);
          int      (*cipher_encode)(void *, const uint8_t *, uint8_t *, size_t);
          int      (*cipher_decode)(void *, const uint8_t *, uint8_t *, size_t);
          void     (*cipher_free)(void *);
    const uint8_t *(*cipher_strerror)(int);
} CipherContext;

      int            cipher_context_init(CipherContext **, const uint8_t *, size_t, const uint8_t *, size_t, size_t);
      int            cipher_context_encode(CipherContext *, const uint8_t *, uint8_t *, size_t);
      int            cipher_context_decode(CipherContext *, const uint8_t *, uint8_t *, size_t);
      void           cipher_context_free(CipherContext *);
const uint8_t       *cipher_context_strerror(int);

Код Perl 6:

method new(Blob :$key!, Str :$path!, Int :$block-size!) {
    my Pointer[::?CLASS]     $ptr     .= new;
    my Int                   $err      = cipher_context_init($ptr, $key, $key.elems, $path, $path.codes, $block-size);
    return $ptr.deref unless $err;

    my Str $errstr = cipher_context_strerror($err) || do {
        my &cipher-strerror = nativecast(:(int32 --> Str), $!cipher-strerror);
        cipher-strerror($err)
    };
    die "Failed to initialize cipher context: $errstr";
}

submethod DESTROY() {
    cipher_context_free(self)
}

Короткий гольф:

use v6.d;
use Nativecall;

class Foo is repr('CPointer') { 
    my Pointer[::?CLASS] $foo .= nw;
}

Только я не могу понять, как это сделать из-за ошибки в Rakudo. Есть ли лучший способ обработки ошибок в части кода C (именно поэтому я пишу это так)?

Answer 1

Это терпит неудачу по той же самой причине, это терпит неудачу:

class Foo {...}

BEGIN Foo ~~ Bool; # <------

class Foo{
}

Частично проблема заключается в том, что Foo еще не состоит, когда Pointer.^parameterize метод вызывается.

Так что это не подтип Any еще. (или даже Mu)

Обходной путь должен добавить .^compose позвонить в BEGIN фазер перед использованием Pointer[::?CLASS],

class Foo is repr('CPointer') {
  BEGIN ::?CLASS.^compose;

  my Pointer[::?CLASS] $foo .= new;
}

---

Я предполагаю, что реальным решением будет изменить Bool.ACCEPTS(Bool:U: \topic) кандидат в Bool.ACCEPTS(Bool:U: Mu \topic),

Я думаю, что причина в том, что это также дает сбой в основном с той же ошибкой

Mu ~~ Bool