Обработайте объектные ограничения для генерации кода

Генератор кода статически определяет время жизни объекта указателя. Когда вы используете объекты указателя, этот статический анализ имеет определенные ограничения.

Со статическим анализом сгенерированный код может снова использовать память, а не полагаться на схему управления динамической памятью, такую как подсчет ссылок или сборка мусора. Генератор кода может избежать динамического выделения памяти и автоматического управления памятью во время выполнения. Эти характеристики сгенерированного кода важны для некоторых критических по отношению к безопасности и приложений реального времени.

Для ограничений см.:

Генератор кода анализирует, заданы ли все переменные до использования. Неопределенные переменные или типы данных вызывают ошибку во время генерации кода. При определенных обстоятельствах генератор кода не может определить, заданы ли ссылки, чтобы обработать объекты. Смотрите, что Ссылки, чтобы Обработать Объекты Могут Казаться Неопределенными.

Переменная вне цикла не может относиться к объекту указателя, созданному в цикле

Считайте класс Handle mycls и функциональным usehandle1. Генератор кода сообщает об ошибке, потому что p, который является вне цикла, имеет свойство, которое относится к объекту mycls, созданному в цикле.

classdef mycls < handle
   properties
       prop
   end
end

function usehandle1
p = mycls;
for i = 1:10
    p.prop = mycls;
end

Объектом указателя, к которому относится персистентная переменная, должен быть объект Singleton

Если персистентная переменная относится к объекту указателя, генератор кода позволяет только один экземпляр объекта в течение времени жизни программы. Объект должен быть объектом singleton. Чтобы создать одноэлементный объект указателя, заключите операторы, которые создают объект в защите if isempty() для персистентной переменной.

Например, считайте класс mycls и функциональным usehandle2. Генератор кода сообщает об ошибке для usehandle2, потому что p.prop относится к объекту mycls, который создает оператор inner = mycls. Этот оператор создает объект mycls для каждого вызова usehandle2.

classdef mycls < handle
   properties
       prop
   end
end

function usehandle2(x)
assert(isa(x, 'double'));
persistent p;
inner = mycls;
inner.prop = x;
if isempty(p)
    p = mycls;
    p.prop = inner;
end

Если вы перемещаете операторы inner = mycls и inner.prop = x в защите if isempty(), генерация кода успешно выполняется. Оператор inner = mycls выполняется только однажды в течение времени жизни программы.

function usehandle2(x)
assert(isa(x, 'double'));
persistent p;
if isempty(p)
    inner = mycls;
    inner.prop = x;
    p = mycls;
    p.prop = inner;
end

Рассмотрите функциональный usehandle3. Генератор кода сообщает об ошибке для usehandle3, потому что персистентная переменная p относится к объекту mycls, который создает оператор myobj = mycls. Этот оператор создает объект mycls для каждого вызова usehandle3.

function usehandle3(x)
assert(isa(x, 'double'));
myobj = mycls;
myobj.prop = x;
doinit(myobj);
disp(myobj.prop);
function doinit(obj)
persistent p;
if isempty(p)
    p = obj;
end

Если вы делаете myobj персистентным и заключаете оператор myobj = mycls в защите if isempty(), генерация кода успешно выполняется. Оператор myobj = mycls выполняется только однажды в течение времени жизни программы.

function usehandle3(x)
assert(isa(x, 'double'));
persistent myobj;
if isempty(myobj) 
  myobj = mycls;
end

doinit(myobj);

function doinit(obj)
persistent p;
if isempty(p)
    p = obj;
end

Ссылки, чтобы обработать объекты могут казаться неопределенными

Рассмотрите функциональный refHandle, который копирует свойство объекта указателя в другой объект. Функция использует простой класс Handle и класс значения. В MATLAB^® функция запускается без ошибки.

function [out1, out2, out3] = refHandle()
  x = myHandleClass;
  y = x;
  v = myValueClass(); 
  v.prop = x;
  x.prop = 42;
  out1 = x.prop;
  out2 = y.prop;
  out3 = v.prop.prop;
end

classdef myHandleClass < handle
    properties
        prop
    end
end

classdef myValueClass
    properties
        prop
    end
end

Во время генерации кода происходит ошибка:

Property 'v.prop.prop' is undefined on some execution paths.

Три переменные ссылаются на ту же ячейку памяти: x, y и v.prop. Генератор кода решает, что x.prop и y.prop совместно используют то же значение. Генератор кода не может решить, что свойство объекта указателя v.prop.prop совместно использует свое определение с x.prop и y.prop. Чтобы избежать ошибки, задайте v.prop.prop непосредственно.

Документация