Я пытаюсь написать метод в F #, который возвращает новый экземпляр универсального типа на основе типа значения, переданного в метод. В ФГУ:
open System.Collections.Generic
type AttributeIndex<'a>() =
inherit SortedDictionary<'a, HashSet<int array>>()
let getNewIndexForValue (value: obj) : AttributeIndex<_> =
match value with
| :? string -> new AttributeIndex<string>()
| :? int -> new AttributeIndex<int>()
| :? float -> new AttributeIndex<float>()
| :? bool -> new AttributeIndex<bool>()
| _ -> failwith "bad value type"
let someIndexes = [
getNewIndexForValue 9;
getNewIndexForValue "testString";
getNewIndexForValue false;
getNewIndexForValue 5.67;
]
someIndexes;;
Это не компилируется с ошибкой
error FS0001: Type mismatch. Expecting a
AttributeIndex<string><br>
but given a
AttributeIndex<int><br>
The type 'string' does not match the type 'int'
Я не могу понять, как получить экземпляр Attribute с параметром типа, основанным на типе параметра значения, переданного в функцию. Я пробовал пару других вариантов, но все они приводят к одной и той же ошибке несоответствия типов. Любая помощь будет принята с благодарностью. Спасибо !!
UPDATE:
Спасибо за ответы. Я получаю это сейчас. Итак, теперь я пытаюсь, чтобы мой getNewIndexForValue возвращал неуниверсальный базовый класс AttributeIndex. Я реализовал это в C #, и он компилируется и работает так, как я ожидаю:
using System;
using System.Collections.Generic;
namespace Example {
public class AttributeIndexBase : SortedDictionary<object, HashSet<int[]>> { }
public class AttributeIndex<T> : AttributeIndexBase {
public void AddToIndex(T indexValue, int[] recordKey) {
if (!this.ContainsKey(indexValue)) {
this.Add(indexValue, new HashSet<int[]> { recordKey });
}
else {
this[indexValue].Add(recordKey);
}
}
}
class Program {
static int Main(string[] args) {
var intIdx = GetIndexForValue(32);
var boolIdx = GetIndexForValue(true);
var doubleIdx = GetIndexForValue(45.67);
var someIndexes = new List<AttributeIndexBase> {
intIdx,
boolIdx,
doubleIdx
};
return 0;
}
static AttributeIndexBase GetIndexForValue(object value) {
switch (value.GetType().Name.ToLower()) {
case "int32" :
return new AttributeIndex<int>();
case "single" :
return new AttributeIndex<float>();
case "double" :
return new AttributeIndex<double>();
case "boolean" :
return new AttributeIndex<bool>();
default :
throw new ArgumentException("The type of the value param is not allowed", "value");
}
}
}
}
Однако попытка перенести это на F # не работает:
module example
open System
open System.Collections.Generic
type AttributeIndexBase() =
inherit SortedDictionary<obj, HashSet<int array>>()
type AttributeIndex<'a>() =
inherit AttributeIndexBase()
let getNewIndexForValueType (value: ValueType) : AttributeIndexBase =
match value with
| :? int -> new AttributeIndex<int>()
| :? float -> new AttributeIndex<float>()
| :? bool -> new AttributeIndex<bool>()
| _ -> failwith "bad value type"
let someIndexes = [
getNewIndexForValueType 9;
getNewIndexForValueType false;
getNewIndexForValueType 5.67;
]
Мне кажется, это довольно прямой порт (за исключением версии F #, я ограничиваю его только ValueType), однако я получаю ошибку:
error FS0001: This expression was expected to have type
AttributeIndexBase<br>
but here has type
AttributeIndex<int>
Действительно ли F # просто не поддерживает приведение потомка к родительскому типу, как в C #?