[Typy danych] Nowy pomysl na klase w PHP, jak .NET? Opcje

[morpheouss]

Witam wszystkich bardzo gorąco.
Nie wiem jak u Was, w innych miejscowościach ale u mnie strasznie parno i pochmurnie zajkby za dosłownie chwilkę miał lunąć deszcz No tak, to nie forum o pogodzie, więc przejde do rzeczy.

Siedziałem dzisiaj na labolatorium programowania wizualnego, zastanawiając się jak rozwiązać pewien problem, a do głowy wpadło mi coś zupełnie innego. Z początku uznałem to za bzdurę i poronioną ideę, jednak coraz bardziej się do niej przekonuję - mimo iż nadal uważam ją za nieco bezsensowną. Popędziłem czym prędzej do domu aby sie nią z Wami podzielić. Mam nadzieję, że zainteresuję Was mój pomysł i wesprzecie moją ideę (propozycje zmian, uwagi techniczne), albo wybijecie z głowy

Jak wiemy w PHP nie ma mechanizmu, który pozwoliłby nam na sztywne trzymanie się danego typu danych (np integer). Mój pomysł może to zmienić. Według tego co wymyśliłem, każda zmienna była by obiektem Chcąc stworzyć zmienną typu całkowitego programista używałby np takiego kodu:

[PHP] pobierz, plaintext 
<?php
$calkowity = new typy(INT);
?>
[PHP] pobierz, plaintext 

albo np:

[PHP] pobierz, plaintext 
<?php
$calkowity = typy::integer();
?>
[PHP] pobierz, plaintext 

Ale co dalej?
Klasa typy dostarczała by szereg metod, które umożliwiałyby odczytywanie i modyfikowanie wartości, przy czym mogłaby generować wyjątki w momencie gdy np do zmiennej typu int będziemy chcieli zapisać łańcuch znaków.

[PHP] pobierz, plaintext 
<?php
$calkowity->value(10);
$calkowity->add(5);
$calkowity->getValue(); // zwraca 15
?>
[PHP] pobierz, plaintext 

Dodatkowo planowałem dodać metody konwertujące:

[PHP] pobierz, plaintext 
<?php
$calkowity->toString(); // zwraca "15" (string)
?>
[PHP] pobierz, plaintext 

[PHP] pobierz, plaintext 
<?php
$string = typy::string();
$string = $calkowity->toString();
?>
[PHP] pobierz, plaintext 

Ale hola, hola... Tzn, że trzeba używać metody getValue, aby wypisać stringa na ekranie? Nie! Może nawet taka metoda nie będzie potrzebna, gdyż:

[PHP] pobierz, plaintext 
<?php
public function __toString() {
     return $this->value;
}
?>
[PHP] pobierz, plaintext 

Prawdopodobnie dałoby się tak samo z integerami i innymi typami danych... Do tego dochodziło by także sprawdzanie typów (+ wyjątki) oraz szereg innych metod, jak np getType() - zwracająca typ zmiennej.

Nie wiem natomiast co z tablicami i obiektami - nie zdążyłem jeszcze nad tym pomyśleć Niemniej jednak, przewiduję także typ
'mixed'.

Bardzo zależy mi na Waszej opinii, szczególnie tych bardziej doświadczonych osób i już teraz bardzo dziękuję za wszelkie komentarze.

[Kildyt]

Ale po co komu coś takiego? PHP to język głównie przeznaczony dla stron internetowych, więc IMHO takie narzędzie to zbędny balast.
Jeżeli chcesz definiować w php typ danych to nikt Ci tego nie zabrania, po prostu nie jest to obowiązkowe i dobrze.

Podsumowując: utrudnianie sobie życie.

[wookieb]

Zestaw funkcji is_* udostepnia sprawdzanie typu.
Dodatkowo cType i mamy wszystko czego potrzeba.

[Crozin]

Jak już to:

[PHP] pobierz, plaintext 
<?php
 
$int = new Integer();
$int2 = new Integer(42);
//etc.
$float = new Float();
?>
[PHP] pobierz, plaintext 

Nie wiem natomiast co z tablicami i obiektami

PHP umożliwia sprawdzanie czy podany parametr jest: tablicą, obiektem (będącym reprezentacją danej klasy/interfaceu) więc nie wiem co chcesz tu robić.

Poza tym również uważam to za niepotrzebny pomysł. A jeżeli zależy Ci na silnym typowaniu... zmień technologię - osobiście polecam Jave.

[batman]

Kolejny głos przeciw pomysłowi.
Nie chodzi mi o rzutowanie typów, ponieważ tego bardzo mi w php brakuje, ale o samą implementację. Rozwiązanie ~Crozin-a znacznie bardziej by mi pasowało, jednak jest to niepotrzebny narzut obiektów. Ścisła kontrola typów ma jedynie wówczas sens, gdy jest kontrolowana przez kompilator/parser, a nie zewnętrzne klasy.

[morpheouss]

Ale po co komu coś takiego?

Wiele osób narzeka na to że w PHP nie ma zgodności typów - nie mam na myśli kontrolę poprzez is_*.

Dodatkowo cType i mamy wszystko czego potrzeba.

To jakiś dodatek? Jeżeli tak, weź poprawkę na to że nie musi być wszędzie dostępny.

Kolejny głos przeciw pomysłowi.
Nie chodzi mi o rzutowanie typów, ponieważ tego bardzo mi w php brakuje, ale o samą implementację. Rozwiązanie ~Crozin-a znacznie bardziej by mi pasowało (...).

Bardziej zależy mi na ocenie samej idei - sposób w jaki to miało by działać to zupełnie inna sprawa, choć oczywiście wszelkie sugestie są mile widziane.

Ścisła kontrola typów ma jedynie wówczas sens, gdy jest kontrolowana przez kompilator/parser, a nie zewnętrzne klasy.

Uważam, że to nie ma żadnego znaczenia - i tak błąd dostaniemy dopiero gdy wejdziemy na stronę - bez względu na to co tym zarządza.
Sama idea wzorowana trochę na C++ czy .NET, gdzie mamy np Obiekt->Zmienna.Length(); W tym przypadku byloby to poprostu Obiekt->Zmienna->Length();

Ja bym przy tym pozostał

Prosiłem o komentarze - ale nie bezmyślne, tylko takie poparte argumentami.

Ten post edytował morpheouss 18.05.2009, 16:10:45

[Crozin]

Podstawowe błędy:
1) W PHP niewiele by to dawało. Nie uzyskasz możłiwości przeciążania metod. Podpowiadanie składni przez różne IDE również nie (zresztą one raczej wolą bazować na komentarzach phpDocumentora)
2) Brak rzutowania na obiekt w tle. Przykładowo mając metodę:

[PHP] pobierz, plaintext 
<?php
public function doSth(User $user, Integer $sth);
?>
[PHP] pobierz, plaintext 

Nie miałbym możliwości wykonania kodu

[PHP] pobierz, plaintext 
<?php
abc.doSth($user, 123)
?>
[PHP] pobierz, plaintext 

Musiałbym:

[PHP] pobierz, plaintext 
<?php
abc.doSth($user, new Integer(123))
?>
[PHP] pobierz, plaintext 

Jeżeli już chcesz robić coś takiego, IMO lepiej by było zrobić coś na zasadzie:

[PHP] pobierz, plaintext 
<?php
public function doSth(User $user, int $sth);
?>
[PHP] pobierz, plaintext 

Napisać jakiś skrypt, który byśmy uruchamiali przed wrzuceniem plików na serwer, a ten by taki kod zamieniał na:

[PHP] pobierz, plaintext 
<?php
public function doSth(User $user, $sth){
  if(is_int($sth) == false){
    throw new ...;
  }
 
  //reszta normalnego kodu
}
?>
[PHP] pobierz, plaintext 

Ale to by było niewygodne i lepiej by było jakby było w formie pluginu do jakiegoś IDE.


Ale i tak uważam, że lepiej pomyśleć nad zmianą narzędzia z PHP na inne jeżeli PHP nie spełnia naszych oczekiwań, bo z tego co wiem, to developerzy PHP nie planują wprowadzić silnego typowania.

[batman]

Bardziej zależy mi na ocenie samej idei - sposób w jaki to miało by działać to zupełnie inna sprawa, choć oczywiście wszelkie sugestie są mile widziane.

Sama idea jest jak najbardziej słuszna. Ale nie ma sensu na siłę symulować zachowania, które nie jest wbudowane w język kosztem ogromnego narzutu obiektów.

Uważam, że to nie ma żadnego znaczenia - i tak błąd dostaniemy dopiero gdy wejdziemy na stronę - bez względu na to co tym zarządza.

W przypadku języków skryptowych tak. Ale jeśli weźmiemy pod uwagę języki kompilowane, wówczas błąd pojawi się podczas kompilacji, a nie w trakcie działania.

Dlatego właśnie, że PHP jest tak ubogim językiem, odświeżam wiedzę o .NET, gdzie jest wszystko to, czego w PHP mi brakuje.

[morpheouss]

Aby rozjaśnić choć trochę co miałem na myśli przygotowałem małą klasę dla boola:

[PHP] pobierz, plaintext 
<?php
class pBool
{          
        private $value;
 
        public function __construct($value = false)
        {                                          
                $this->set($value);                
        }                                          
 
        public function getType()
        {                        
                return 'pBool';  
        }                        
 
        public function get()
        {                    
                return $this->value;
        }                           
 
        public function isTrue()
        {                       
                return $this->value == true ? true : false;
        }                                                  
 
        public function isFalse()
        {                        
                return $this->value == false ? true : false;
        }                                                   
 
        public function set($value)
        {                          
                if(is_bool($value))
                {                  
                        $this->value = $value;
                }                             
                else                          
                {                             
                        throw new Exception('Wartosc nie jest typu prawda/falsz');
                }                                                                 
        }                                                                         
 
        public function toInt()
        {                      
                return $this->value == true ? 1 : 0;
        }                                           
 
}
 
$bool = new pBool;
$bool->set(true);
if($bool->isFalse())
{
        echo 'moj blad';
}
else
{
        echo 'a jednak jest ok';
}
$bool2 = new pBool((bool) 1);
if($bool2->isTrue())
{
        $bool3 = new pBool(1); // powoduje wyjatek - 1 nie jest typu bool!
}
?>
[PHP] pobierz, plaintext 

[Crozin]

Aby rozjaśnić choć trochę co miałem na myśli przygotowałem małą klasę dla boola:

No to taka implementacja jedyne co robi to utrudnia życie.

$bool->isFalse() może i wygląda bardziej "pro" niż $bool == false, ale poza tym, że pisze się mniej wygodnie, że działa wolniej (co przy setkach zmiennych w całej aplikacji będzie miało znaczenie) to kompletnie nic nowego nie wnosi.

[Speedy]

Takie coś nie ma sensu w php, bo jest to za luźny język . Jak ktoś chce, żeby jakaś wartość, zmienna, czy cokolwiek koniecznie było konkretnego typu, to może to sobie rzutować. Typy danych można sprawdzać natywnymi funkcjami php, jak już ktoś tutaj wspomniał. Całą tą klasę do boola można załatwić tak:

[PHP] pobierz, plaintext 
<?php
if(is_bool($value)) { (!$value) ? false : true; }
?>
[PHP] pobierz, plaintext