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

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

0 голосов
/ 05 февраля 2019

Я хочу иметь возможность использовать двойной указатель в классе с 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 (именно поэтому я пишу так)?

1 Ответ

0 голосов
/ 06 февраля 2019

Сбой по той же причине, что и с ошибкой: 

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
...