Доступ к массиву JavaScript в обработчике функций C++ v8

Это может показаться очевидным, но может быть полезно попытаться понять, что вам нужно, а не просто слепо пробовать фрагменты, которые вы видели где-то еще :-)

В данном случае релевантными понятиями являются:

(1) Проверка пустых Local. Большинство операций с объектами JavaScript могут вызывать выдачу, и в этом случае они не возвращают никакого значения (поскольку вместо возврата значения они выбрасывают исключение); API V8 делает это очевидным, используя тип MaybeLocal: всякий раз, когда у вас есть один из них, вы должны проверить наличие исключения или, наоборот: проверить, действительно ли у вас есть значение. В некоторых особых случаях, когда вы можете это гарантировать (обычно это означает: поскольку вы уже проверяли ранее каким-либо другим способом), вы можете использовать помощник ToLocalChecked. Часть имени «Проверено» означает: если MaybeLocal действительно был пустым (из-за исключения), произойдет сбой. Поэтому обычно, чтобы избежать сбоя, вы должны использовать шаблон:

v8::MaybeLocal<ResultType> maybe = SomeOperationThatCanThrow();
v8::Local<ResultType> result;
if (!maybe.ToLocal(&result)) {
  // Handle error...
  return;
}
// If `ToLocal` returned `true`, `result` is now populated.
Use(result);

(2) Проверка типов и приведение типов. Большинство операций с объектами JavaScript могут возвращать значение произвольного типа, поскольку JavaScript — нетипизированный язык. Таким образом, API V8 предоставляет общие типы, конкретные типы и средства для проверки типа значения и преобразования его в более конкретный тип: v8::Value — это практически что угодно. Различные IsFoo() методы могут проверить его тип; если вы не можете гарантировать, что значение имеет определенный тип, вам нужно будет проверить его тип перед его приведением. Для приведения v8::Local имеет статическую функцию Cast<TargetType> и эквивалентный нестатический помощник As<TargetType>, что может быть более удобно. Их объединяет то, что они действительны только в том случае, если значение имеет правильный тип; с V8_ENABLE_CHECKS в противном случае произойдет сбой, без него они просто дадут вам неверный дескриптор, который, скорее всего, приведет к сбою при одном из следующих нескольких действий, которые вы с ним сделаете. Итак, типичная схема:

v8::Local<v8::Value> value = SomethingThatReturnsAValue();
if (value->IsObject()) {
  v8::Local<v8::Object> obj1 = v8::Local<v8::Object>::Cast(value);
  v8::Local<v8::Object> obj2 = value.As<v8::Object>();  // Equivalent.
} else {
  // Handle the case where `value` isn't an Object; perhaps by
  // checking for some other type, or by performing a to-object
  // conversion.
  ...
}

Теперь, соединив оба этих фактора вместе, вы, скорее всего, захотите что-то вроде:

if (!info[0]->IsArray()) {
  // TODO: Handle this somehow.
  return;
}
v8::Local<v8::Array> arr = info[0].As<v8::Array>();
v8::MaybeLocal<v8::Value> maybe_element = arr->Get(ctx, 0);
v8::Local<v8::Value> element;
if (!maybe_element.ToLocal(&element)) {
  // TODO: Handle this somehow.
  return;
}
if (!element->IsNumber()) {
  // TODO: Handle this somehow.
  return;
}
v8::Local<v8::Number> number = element.As<v8::Number>();
std::cout << "The number is " << number->Value() << std::endl;

И если вы думаете: «Нет, все эти проверки выглядят сложными, они мне не нужны все?», попробуйте вызвать функцию следующим образом:

my_func("");
my_func([]);
my_func(["what now?"]);
let nasty = [];
Object.defineProperty(nasty, 0, {get: () => { throw "not today;" }});
my_func(nasty);