Lowering для foreach - История изменений

Mikst: /* Дополнительная правка в связи с глобальными таблицами genericов */

2016-07-05T11:57:37Z

Дополнительная правка в связи с глобальными таблицами genericов

← Предыдущая версия		Версия от 14:57, 5 июля 2016
Строка 105:		Строка 105:
	}		}
	</source>		</source>

			После этой правки всё заработало

Mikst: /* Дополнительная правка в связи с глобальными таблицами genericов */

2016-07-05T11:57:18Z

Дополнительная правка в связи с глобальными таблицами genericов

← Предыдущая версия		Версия от 14:57, 5 июля 2016
Строка 87:		Строка 87:

	Увы, в результате реализации этого кода происходила ошибка на этапе генерации IL-кода.		Увы, в результате реализации этого кода происходила ошибка на этапе генерации IL-кода.
	Выяснилось, что тип		Выяснилось, что тип IEnumerable<ienumerable_auto_type> помещается в глобальную таблицу в generics.cs (строка около 354)

			<source lang="CSharp">
			generic_convertions.all_type_instances.Add(instance);
			</source>
			сразу в момент описания переменной этого типа.

			Было принято решение вклиниться в этот код и не помещать в эту таблицу типы IEnumerable<ienumerable_auto_type>, которые всё равно не участвуют в генерации кода:

			<source lang="CSharp">
			if (instance.instance_params[0] is ienumerable_auto_type)
			{
			}
			else
			{
			generic_convertions.all_type_instances.Add(instance);
			}
			</source>

Mikst: /* Реализация в syntax_tree_visitor.cs */

2016-07-05T11:52:43Z

Реализация в syntax_tree_visitor.cs

← Предыдущая версия		Версия от 14:52, 5 июля 2016
Строка 57:		Строка 57:
	{		{
	...		...
	if (to.type is ~~auto_type~~)		if (to.type is compiled_generic_instance_type_node && (to.type as compiled_generic_instance_type_node).instance_params[0] is ienumerable_auto_type)
	{		{
			var tt = to.type;
			type_node elem_type = null;
			var b = FindIEnumerableElementType(from.type, ref elem_type);
			if (!b)
			AddError(null, "FindIEnumerableElementType returns false");
	if (to is class_field_reference)		if (to is class_field_reference)
	{		{
	var cfr = to as class_field_reference;		var cfr = to as class_field_reference;
	cfr.field.type = ~~from~~.type;
			var IEnumType = new template_type_reference(new named_type_reference("System.Collections.Generic.IEnumerable"), new template_param_list(new semantic_type_node(elem_type)));

			cfr.field.type = convert_strong(IEnumType);
			cfr.type = cfr.field.type;
	}		}
	else if (to is local_block_variable_reference)		else if (to is local_block_variable_reference)
	{		{
	var lvr = to as local_block_variable_reference;		var lvr = to as local_block_variable_reference;
	lvr.var.type = ~~from~~.type;
			var IEnumType = new template_type_reference(new named_type_reference("System.Collections.Generic.IEnumerable"), new template_param_list(new semantic_type_node(elem_type)));

			lvr.var.type = convert_strong(IEnumType); // замена типа у описания переменной
			lvr.type = lvr.var.type; // замена типа у переменной
	}		}
	~~else AddError(to.location, "Не могу вывести тип при наличии yield: "+ to.type.full_name);~~		}</source>
	~~//to.type = from.type; // и без всякого real_type!~~
	}		=== Дополнительная правка в связи с глобальными таблицами genericов ===
	</source>
			Увы, в результате реализации этого кода происходила ошибка на этапе генерации IL-кода.
			Выяснилось, что тип

Mikst в 11:49, 5 июля 2016

2016-07-05T11:49:41Z

← Предыдущая версия		Версия от 14:49, 5 июля 2016
Строка 9:		Строка 9:

	<source lang="Delphi">		<source lang="Delphi">
	var a: IEnumerable<~~auto_foreach~~> := l;		var a: IEnumerable<yield_unknown_foreach_type> := l;

	var en := a.GetEnumerator();		var en := a.GetEnumerator();
	~~var curr: auto_foreach; // или эта переменная была описана ранее если foreach x~~
	while en.MoveNext do		while en.MoveNext do
	begin		begin
	curr := en.Current;		var curr := en.Current;
	Print(curr);		Print(curr);
	end;		end;
Строка 24:		Строка 23:
	После этого генератор yield преобразует синтаксическое дерево так, что строка:		После этого генератор yield преобразует синтаксическое дерево так, что строка:
	<source lang="Delphi">		<source lang="Delphi">
	var a: IEnumerable<~~auto_foreach~~> := l;		var a: IEnumerable<yield_unknown_foreach_type> := l;
	</source>		</source>

Строка 30:		Строка 29:
	<source lang="Delphi">		<source lang="Delphi">
	// поле специального класса		// поле специального класса
	a: IEnumerable<~~auto_foreach~~>		a: IEnumerable<yield_unknown_foreach_type>
	...		...
	// оператор в методе MoveNext этого класса		// оператор в методе MoveNext этого класса
Строка 38:		Строка 37:
	===Основная идея===		===Основная идея===

	Основная идея - ввести семантический тип auto_type, который перевычисляется при первом присваивании переменной этого типа		Основная идея автоопределния типа в yield - ввести семантический тип auto_type, который перевычисляется при первом присваивании переменной этого типа

			Для IEnumerable<yield_unknown_foreach_type> она трансформируется следующим образом: yield_unknown_foreach_type на семантике преобразуется в ienumerable_auto_type.
			При обработке присваивания на семантике если тип в левой части - IEnumerable<ienumerable_auto_type>, то он преобразуется к типу правой части в момент первого присваивания
			(это произойдёт в теле метода MoveNext())

	===Реализация в syntax_tree_visitor.cs ===		===Реализация в syntax_tree_visitor.cs ===

	Так вот, ~~auto_foreach~~ при преобразовании синтаксиса в семантику переводится в специальный семантический тип auto_type, который исправляется в момент первого присваивания переменной a.		Так вот, yield_unknown_foreach_type при преобразовании синтаксиса в семантику переводится в специальный семантический тип auto_type, который исправляется в момент первого присваивания переменной a.
	Таким образом, в syntax_tree_visitor.cs в		Таким образом, в syntax_tree_visitor.cs в

Mikst в 08:11, 3 июля 2016

2016-07-03T08:11:55Z

← Предыдущая версия		Версия от 11:11, 3 июля 2016
Строка 35:		Строка 35:
	a := l;		a := l;
	</source>		</source>
	~~----~~
			===Основная идея===

	Основная идея - ввести семантический тип auto_type, который перевычисляется при первом присваивании переменной этого типа		Основная идея - ввести семантический тип auto_type, который перевычисляется при первом присваивании переменной этого типа
	~~----~~
			===Реализация в syntax_tree_visitor.cs ===

	Так вот, auto_foreach при преобразовании синтаксиса в семантику переводится в специальный семантический тип auto_type, который исправляется в момент первого присваивания переменной a.		Так вот, auto_foreach при преобразовании синтаксиса в семантику переводится в специальный семантический тип auto_type, который исправляется в момент первого присваивания переменной a.
	Таким образом, в syntax_tree_visitor.cs в		Таким образом, в syntax_tree_visitor.cs в

Mikst в 08:10, 3 июля 2016

2016-07-03T08:10:12Z

← Предыдущая версия		Версия от 11:10, 3 июля 2016
Строка 36:		Строка 36:
	</source>		</source>
	----		----
	Основная идея - ввести семантический тип auto_type, который перевычисляется при первом присваивании переменной		Основная идея - ввести семантический тип auto_type, который перевычисляется при первом присваивании переменной этого типа
	----		----
	Так вот, auto_foreach при преобразовании синтаксиса в семантику переводится в специальный семантический тип auto_type, который исправляется в момент первого присваивания переменной a.		Так вот, auto_foreach при преобразовании синтаксиса в семантику переводится в специальный семантический тип auto_type, который исправляется в момент первого присваивания переменной a.

Mikst в 08:09, 3 июля 2016

2016-07-03T08:09:04Z

← Предыдущая версия		Версия от 11:09, 3 июля 2016
Строка 35:		Строка 35:
	a := l;		a := l;
	</source>		</source>
			----
			Основная идея - ввести семантический тип auto_type, который перевычисляется при первом присваивании переменной
			----
	Так вот, auto_foreach при преобразовании синтаксиса в семантику переводится в специальный семантический тип auto_type, который исправляется в момент первого присваивания переменной a.		Так вот, auto_foreach при преобразовании синтаксиса в семантику переводится в специальный семантический тип auto_type, который исправляется в момент первого присваивания переменной a.
	Таким образом, в syntax_tree_visitor.cs в		Таким образом, в syntax_tree_visitor.cs в

Mikst в 08:07, 3 июля 2016

2016-07-03T08:07:26Z

← Предыдущая версия		Версия от 11:07, 3 июля 2016
Строка 21:		Строка 21:

	на синтаксическом уровне.		на синтаксическом уровне.

			После этого генератор yield преобразует синтаксическое дерево так, что строка:
			<source lang="Delphi">
			var a: IEnumerable<auto_foreach> := l;
			</source>

			преобразуется в
			<source lang="Delphi">
			// поле специального класса
			a: IEnumerable<auto_foreach>
			...
			// оператор в методе MoveNext этого класса
			a := l;
			</source>

			Так вот, auto_foreach при преобразовании синтаксиса в семантику переводится в специальный семантический тип auto_type, который исправляется в момент первого присваивания переменной a.
			Таким образом, в syntax_tree_visitor.cs в

			<source lang="Delphi">
			public override void visit(SyntaxTree.assign _assign)
			</source>

			будет код, аналогичный автоопределению типа в момент первого присваивания для переменных типа auto_type:
			<source lang="Delphi">
			public override void visit(SyntaxTree.assign _assign)
			{
			...
			if (to.type is auto_type)
			{
			if (to is class_field_reference)
			{
			var cfr = to as class_field_reference;
			cfr.field.type = from.type;
			}
			else if (to is local_block_variable_reference)
			{
			var lvr = to as local_block_variable_reference;
			lvr.var.type = from.type;
			}
			else AddError(to.location, "Не могу вывести тип при наличии yield: "+ to.type.full_name);
			//to.type = from.type; // и без всякого real_type!
			}
			</source>

Mikst: Новая страница: «Такой код foreach var x in l do Print(x); заменяется на var a: IEnumerable
2016-07-03T07:53:56Z

Новая страница: «Такой код <source lang="Delphi"> foreach var x in l do Print(x); </source> заменяется на <source lang="Delphi"> var a: IEnumerable<auto_…»

Новая страница
Такой код

<source lang="Delphi">
foreach var x in l do
Print(x);
</source>

заменяется на

<source lang="Delphi">
var a: IEnumerable<auto_foreach> := l;

var en := a.GetEnumerator();
var curr: auto_foreach; // или эта переменная была описана ранее если foreach x
while en.MoveNext do
begin
curr := en.Current;
Print(curr);
end;
</source>

на синтаксическом уровне.