从原始值初始化

<?php

enum Season: int {
    case Summer = 1; 
    case Fall = 2; 
    case Winter = 3; 
    case Spring = 4;
}

$winter = Season::from(3);

echo "winter is ", $winter->value;