Переменная числа Scala параметров, которые являются подклассами F-ограниченного типа

Question

Переменная числа Scala параметров, которые являются подклассами F-ограниченного типа

В C ++ я могу создать шаблон функции переменной следующим образом:

#include <tuple>

// helper to loop over tuple
template <std::size_t I = 0, typename FuncT, typename... Args>
void for_each(std::tuple<Args...>& tuple, FuncT func) {
func(std::get<I>(tuple));
if constexpr (I + 1 < sizeof...(Args)) {
for_each<I + 1, FuncT, Args...>(tuple, func);
}
}

template <class A, class B, class Derived>
struct FBounded {
auto foo() { return static_cast<Derived *>(this); }
auto baz() { return static_cast<Derived *>(this); }
};

class Child1 : public FBounded<const char*, const char*, Child1> {};
class Child2 : public FBounded<bool, int, Child2> {};
class Child3 : public FBounded<double, const char*, Child3> {};

template <class... A, class... B, class... SubTypes>
static auto func(FBounded<A, B, SubTypes>... elems) {
auto args = std::tuple(elems...);
for_each(args, [](auto x) { x.foo()->baz(); });
}

int main() {
auto c1 = Child1();
auto c2 = Child2();
auto c3 = Child3();

func(c1, c2, c3);
}

Я хочу воссоздать это поведение в Scala. Вот что у меня так далеко:

class FBounded[A, B, T <: FBounded[A, B, T]] {
def foo(): T = this.asInstanceOf[T]
def baz(): T = this.asInstanceOf[T]
}

class Child1 extends FBounded[Int, Double, Child1] {}
class Child2 extends FBounded[String, String, Child2] {}
class Child3 extends FBounded[Int, String, Child3] {}

def func(elems: Seq[FBounded[_, _, _]]) = {
elems.foreach(_.foo.baz)
}val c1 = new Child1()
val c2 = new Child2()
val c3 = new Child3()

func(c1, c2, c3)

Я получаю ошибку:

error: value baz is not a member of _$3
elems.foreach(_.foo.baz)
^

Я считаю, что это как-то связано с тем, что Scala заполняет типы заполнителей, но я не уверен.

2

c++f-bounded-polymorphism generic-programming scala types

Решение

Другие решения

Других решений пока нет …

Источник

Accepted Answer

FBounded[_, _, _]-type — это ярлык для экзистенциального типа, который выглядит как

FBounded[A, B, T] forSome { type A; type B; type T <: FBounded[A, B, T] }

и по какой-то причине компилятор отказывается выводить правильные f-границы для параметра типа T (по крайней мере, я не мог этого сделать).

Я думаю, что это может быть каким-то образом связано с причиной, по которой экзистенциальные типы опущены в Dotty.

Вот обходной путь, который просто полностью избегает экзистенциальных типов:

class FBounded[A, B, T <: FBounded[A, B, T]] {
self: T =>
def foo: T = self
def baz: T = self
def wrap: FBE = new FBE {
type a = A
type b = B
type t = T
val value: t = self
}
}

class Child1 extends FBounded[Int, Double, Child1] {}
class Child2 extends FBounded[String, String, Child2] {}
class Child3 extends FBounded[Int, String, Child3] {}

/** Wrapper for FBounded existential types */
abstract class FBE {
type a
type b
type t <: FBounded[a, b, t]
val value: t
}

def func(elems: FBE*) = {
elems.map(_.value.foo.baz)
}

val c1 = new Child1()
val c2 = new Child2()
val c3 = new Child3()

func(c1.wrap, c2.wrap, c3.wrap)

Вместо того, чтобы полагаться на экзистенциальное FBounded[_, _, _], он использует класс-оболочку FBE который содержит длинные списки со всеми типами и всеми ограничениями. С FBE, func Вроде работает просто отлично

def func(elems: FBE*) = {
elems.map(_.value.foo.baz)
}

потому что это может быть записано более явно как:

def funcMoreExplicit(elems: FBE*) = {
elems.map(e => {
val v: e.t = e.value
val fooRes: e.t = v.foo
val bazRes: e.t = fooRes.baz
bazRes
})
}

где мы можем использовать явный путь зависимый тип e.t предоставлено FBE.t для промежуточных результатов.

1