Частный конструктор класса case Scala, но общедоступный метод применения

Question

Если у меня есть следующий класс case с частным конструктором, и я не могу получить доступ к методу apply в сопутствующем объекте.

case class Meter private (m: Int) 

val m = Meter(10) // constructor Meter in class Meter cannot be accessed... 

Есть ли способ, чтобы использовать класс случая с собственным конструктором, но сохранить сгенерированный применить-метод в сопутствующей общественности?

Я знаю, что нет никакой разницы (в моем примере) между двумя вариантами:

val m1 = new Meter(10) 
val m2 = Meter(10) 

, но я хочу, чтобы запретить первый вариант.

- редактировать -

Удивительно следующие работы (но не совсем то, что я хочу):

val x = Meter 
val m3 = x(10) // m3 : Meter = Meter(10) 

Answer 1

Вот техника, чтобы иметь частный конструктор и общественного применить метод.

trait Meter { 
    def m: Int 
} 

object Meter { 
    def apply(m: Int): Meter = { MeterImpl(m) } 
    private case class MeterImpl(m: Int) extends Meter { println(m) } 
} 

object Application extends App { 
    val m1 = new Meter(10) // Forbidden 
    val m2 = Meter(10) 
} 

Справочная информация private-and-protected-constructor-in-scala

Answer 2

Можно с некоторыми неявных уловок:

// first case 
case class Meter[T] private (m: T)(implicit ev: T =:= Int) 
object Meter { 
    def apply(m: Int) = new Meter(m + 5) 
} 

создал некоторый другой конструктор (и применить метод подписи), но гарантию, что параметр может быть только Int.

И после того, как у вас есть случай класса с функциями случай класса (с сопоставления с образцом, хэш-код & равен) исключить конструктор по умолчанию:

scala> val m = Meter(10) 
m: Metter[Int] = Meter(15) 

scala> val m = new Meter(10) 
<console>:9: error: constructor Meter in class Meter cannot be accessed in object $iw 
     val m = new Meter(10) 

ИЛИ с типом мечения (наивная реализация):

trait Private 
case class Meter private (m: Integer with Private) 
object Meter { 
    def apply(m: Int) = new Meter((m + 5).asInstanceOf[Integer with Private]) 
} 

Работает должным образом:

val x = new Meter(10) 
<console>:11: error: constructor Meter in class Meter cannot be accessed in object $iw 
       new Meter(10) 
      ^

val x = Meter(10) 
x: Meter = Meter(15) 

Некоторые возможные проблемы с примитивными типами и тегами типа описаны here