Witam, mam pytanie dotyczące bezpieczeństwa używania 2 funkcji w if. Otóż chciałbym użyć czegoś takiego:

[PHP] pobierz, plaintext 
if($this->form_validation->run() == TRUE && $this->mu->addServer($this->input->post())){
	redirect('/muonline');
} else {
	$this->load->view('muonline/formAdd');
}
[PHP] pobierz, plaintext 

Gdzie form_vaidation weryfikuje dane, natomiast addServer dodaje już wpis do bazy danych.
Jednak drugie bez pierwszego nie ma prawa się wykonać, mógłbym to zagnieździć w kolejnym if - jednak ciekawi mnie, czy forma o którą pytam jest dozwolona czy lepiej jej unikać.
Wykonałem test polegający na funkcji:

[PHP] pobierz, plaintext 
function a() {
echo 'test';
	return TRUE;
}
if(FALSE == TRUE && a==TRUE) {
	$nic = '';
}
[PHP] pobierz, plaintext 

Druga funkcja nie jest wykonywana, mimo wszystko wole zapytać.

Pozdrawiam.

W drugim przypadku nie wywołujesz funkcji a, lecz porównujesz ją ze stałą.

Wszystkie warunki w "płaskim" if są sprawdzanie (na podstawie pierwszego nie można stwierdzić prawdziwości całości), chyba, że parser optymalizuje takie zapytanie do zagnieżdżonego, ale tego nie wiem.
Nie ma znaczenia czy jest to "płaski" if czy zagnieżdżona struktura, przynajmniej z punktu widzenia wydajności.

Faktycznie, mój błąd powinno być a();
Jednak po zmianie na funkcję wykonanie funkcji nienastąpiło.

Czyli pewnie następuje optymalizacja, skoro całość jest AND, nie ma sensu sprawdzać reszty.
A z ciekawości, wrzuć: X AND Y OR Z. Gdzie Z jest funkcją zwracającą true.

[PHP] pobierz, plaintext 
function a(){ echo 'a<br />'; return TRUE; }
function b(){ echo 'b<br />'; return TRUE; }
function c(){ echo 'c<br />'; return TRUE; }
if(a()==TRUE && b()==FALSE || c()==TRUE){
	echo 'done';
}
[PHP] pobierz, plaintext 

Zwraca:


Natomiast:

[PHP] pobierz, plaintext 
function a(){ echo 'a<br />'; return TRUE; }
function b(){ echo 'b<br />'; return TRUE; }
function c(){ echo 'c<br />'; return TRUE; }
if(a()==FALSE && b()==FALSE || c()==TRUE){
	echo 'done';
}
[PHP] pobierz, plaintext 

Daje nam:

Wg tego małego eksperymentu mogę powiedzieć, że jeśli stoji znak AND i warunek pierwszy niezostanie spełniony, kompilator porzuca wykonanie kolejnej funkcji.