fix#1739: параметры конструктора из массива +тесты

Author: Mr-Rm

src/OneScript.Native/Compiler/ExpressionHelpers.cs

@@ -520,16 +520,30 @@ public static Expression CreateAssignmentSource(Expression source, Type targetTy
                 $"Conversion from type {source.Type} into {targetType} is not supported"));
         }
 
+        private static Expression ArgsFromArray(Expression[] args)
+        {
+            if (args.Length == 0)
+                return Expression.NewArrayInit(typeof(IValue));
+
+            var arg1 = args[0];
+            var typecheck = Expression.TypeIs(arg1, typeof(IValueArray));
+
+            var method = OperationsCache.GetOrAdd(typeof(Enumerable), nameof(Enumerable.ToArray)).MakeGenericMethod([typeof(IValue)]);
+            var array = Expression.Call(method, Expression.Convert(arg1, typeof(IEnumerable<IValue>)));
+
+            return Expression.Condition(typecheck, array, Expression.NewArrayInit(typeof(IValue)));
+        }
+
         public static Expression ConstructorCall(ITypeManager typeManager, Expression services, Expression type,
             Expression process,
             Expression[] argsArray)
         {
             var method = OperationsCache.GetOrAdd(
                 typeof(DynamicOperations),
-                nameof(DynamicOperations.ConstructorCall));
-
-            var arrayOfArgs = Expression.NewArrayInit(typeof(BslValue), argsArray.Select(ConvertToBslValue));
-            
+                nameof(DynamicOperations.DynamicConstructorCall));
+
+            var arrayOfArgs = ArgsFromArray(argsArray);
+
             return Expression.Call(method, 
                 Expression.Constant(typeManager),
                 services,

src/OneScript.Native/Runtime/DynamicOperations.cs

@@ -113,7 +113,8 @@ public static BslValue WrapClrObjectToValue(object value)
             };
         }
 
-        public static BslValue ConstructorCall(ITypeManager typeManager, IServiceContainer services, string typeName, IBslProcess process, BslValue[] args)
+        public static BslValue ConstructorCall(ITypeManager typeManager, IServiceContainer services, 
+            string typeName, IBslProcess process, BslValue[] args)
         {
             var type = typeManager.GetTypeByName(typeName);
             var factory = typeManager.GetFactoryFor(type);
@@ -128,6 +129,22 @@ public static BslValue ConstructorCall(ITypeManager typeManager, IServiceContain
             return (BslValue) factory.Activate(context, args.Cast<IValue>().ToArray());
         }
 
+        public static BslValue DynamicConstructorCall(ITypeManager typeManager, IServiceContainer services,
+            string typeName, IBslProcess process, IValue[] args)
+        {
+            var type = typeManager.GetTypeByName(typeName);
+            var factory = typeManager.GetFactoryFor(type);
+            var context = new TypeActivationContext
+            {
+                TypeManager = typeManager,
+                Services = services,
+                TypeName = type.Name,
+                CurrentProcess = process
+            };
+
+            return (BslValue)factory.Activate(context, args);
+        }
+
         // TODO: Сделать прямой маппинг на статические фабрики-методы, а не через Factory.Activate
         public static T StrictConstructorCall<T>(ITypeManager typeManager, IServiceContainer services,
             string typeName, IBslProcess process, BslValue[] args)

tests/native-module.os

@@ -13,6 +13,7 @@
 	ВсеТесты.Добавить("ТестДолжен_ПроверитьЧтениеЗаписьПоИндексу");
 	//FIXME #1531
 	//ВсеТесты.Добавить("ТестДолжен_ПроверитьДелегат");
+	ВсеТесты.Добавить("ТестДолжен_ПроверитьДинамическийКонструктор");
 
 	Возврат ВсеТесты;
 
@@ -53,3 +54,21 @@
     //юТест.ПроверитьРавенство("Привет", Результат);
 
 КонецПроцедуры
+
+Процедура ТестДолжен_ПроверитьДинамическийКонструктор() Экспорт
+	Массив = Новый("Массив");
+	юТест.ПроверитьРавенство(0, Массив.Количество(), "Без параметров");
+	
+	МассивПараметров = Новый Массив();
+	Массив = Новый("Массив", МассивПараметров);
+	юТест.ПроверитьРавенство(0, Массив.Количество(), "С пустым массивом параметров");
+	
+	МассивПараметров.Добавить(4);
+	Массив = Новый("Массив", МассивПараметров);
+	юТест.ПроверитьРавенство(4, Массив.Количество(), "С параметром в массиве");
+
+	МассивПараметров[0] = 5;
+	ФиксированныйМассивПараметров = Новый ФиксированныйМассив(МассивПараметров);
+	Массив = Новый("Массив", ФиксированныйМассивПараметров);
+	юТест.ПроверитьРавенство(5, Массив.Количество(), "С параметром в фиксированном массиве");
+КонецПроцедуры