Rumah  >  Artikel  >  Java  >  Penegasan Java

Penegasan Java

WBOY
WBOYasal
2024-08-30 16:05:04798semak imbas

Di Java, Assertion ialah pernyataan yang memastikan atau menguji ketepatan andaian yang dibuat dalam program. Ia dilakukan dengan bantuan pernyataan tegas. Apabila andaian bertulis dilaksanakan, ia dianggap benar. Jika ia palsu, ralat penegasan akan dilemparkan oleh Mesin Maya Java.

Mulakan Kursus Pembangunan Perisian Percuma Anda

Pembangunan web, bahasa pengaturcaraan, ujian perisian & lain-lain

Sebab utama mengapa Penegasan digunakan ialah:

  • Untuk mengesahkan sama ada kod yang tidak boleh dicapai boleh dicapai.
  • Untuk menyemak sama ada andaian yang terdapat dalam ulasan adalah betul atau tidak.
  • Untuk mengesahkan, kes lalai dalam suis tidak dicapai.
  • Selepas menyeru kaedah.
  • Untuk menyemak keadaan objek.

Sintaks

Di bawah ialah sintaks pernyataan Java Assertion.

assert expression;
assert expr1 : expr2;

Mana-mana sintaks ini boleh digunakan berdasarkan keperluan.

Bagaimanakah Penegasan berfungsi dalam Java?

Seperti yang telah disebutkan, penegasan boleh ditulis dalam dua bentuk.

  • Sintaks menegaskan ungkapan; digunakan untuk menguji ungkapan bentuk Boolean. Jika ungkapan tertentu adalah palsu, program akan ditamatkan dengan membuang AssertionError. Tidak seperti pengecualian biasa, ralat ini dilumpuhkan semasa masa jalan.
  • Walau bagaimanapun, sintaks menegaskan expr1: expr2; ia digunakan dalam kes di mana program mempunyai beberapa maklumat tambahan yang membantu mendiagnosis kegagalan tertentu.
  • Sama seperti pengecualian yang tidak ditangkap dalam Java, ralat penegasan biasanya dilabelkan dalam surih tindanan bersama-sama dengan fail serta nombor baris dari mana pengecualian itu dibuang.

Walaupun ini adalah kebaikan utama Penegasan, terdapat situasi tertentu di mana Penegasan tidak boleh digunakan. Mereka ialah:

  • Ralat penggantian mesej.
  • Semakan hujah dalam kaedah awam
  • Argumen baris perintah.
Nota:  Sebelum menyusun kod, pastikan penegasan didayakan.

Sintaks

java –ea programname

Atau

java –enable assertions programname

Langkah untuk menggunakan Eclipse Java Assertion

Dalam Eclipse, ia boleh dilakukan menggunakan langkah di bawah.

Langkah 1: Pilih Run Configurations.

Penegasan Java

Langkah 2: Pergi ke panel kiri dan pilih Aplikasi Java, dan Klik kanan padanya.

Penegasan Java

Langkah 3: Pilih konfigurasi Baharu dan taip –ea pada Argumen VM. Setelah selesai, klik.

Penegasan Java

Begitu juga, penegasan boleh dilumpuhkan menggunakan sintaks yang diberikan di bawah. Java –da nama program

Contoh untuk Melaksanakan Penegasan Java

Sekarang, mari kita lihat beberapa contoh program untuk penegasan untuk mendapatkan idea yang jelas tentang perkara yang sama.

Contoh #1

Atur cara Java untuk menyemak sama ada nilai tertentu lebih tinggi daripada 20.

Kod:

class AssertionExample{
public static void main( String args[] ){
int val = 14;
assert val>=20:" Value is not valid";
System.out.println("The given value is: "+ val);
}
}

Output:

  • Apabila melaksanakan kod, mesej "Nilai yang diberikan ialah 14" akan dipaparkan.

Penegasan Java

  • Ia boleh dilihat dengan jelas bahawa penegasan tidak ditandakan di sini kerana nilai yang lebih besar daripada 20 tidak disemak.
  • Untuk membolehkan penegasan, -ea perlu ditetapkan sebelum menyusun. Untuk itu, lakukan langkah-langkah yang dinyatakan dalam NOTA.
  • Jika anda cuba menjalankan kod itu sekali lagi, ia dapat dilihat dengan jelas bahawa AssertionError telah dilemparkan kerana nilainya kurang daripada 20.

Penegasan Java

Contoh #2

Atur cara Java untuk menyemak sama ada nilai input pengguna tertentu lebih tinggi daripada 20.

Kod:

import java.util.Scanner;
class AssertionExample{
public static void main( String args[] ){
Scanner <u>sc</u> = new Scanner( System.in );
System.out.print("Enter a number to check assertion ");
//store the input value to the variable <u>val</u>
int val = sc.nextInt();
//assertion check whether the input value is greater than 20
assert val>=20:" Value is not valid";
System.out.println("The given value is: "+ val);
}
}

Output:

  • Pengguna akan diminta untuk memasukkan nombor semasa melaksanakan kod. Dalam keputusan di bawah, nombor 13 diberikan sebagai input. Memandangkan ia kurang daripada 20, AssertionError telah dilemparkan.

Penegasan Java

  • Pada masa yang sama, apabila nilai yang lebih besar daripada 20 diberikan, tiada ralat dilemparkan dan mesej akan dipaparkan.

Penegasan Java

Contoh #3

Program Java untuk menyemak bilangan hari dalam seminggu.

Kod:

class AssertionExample {
//main method
public static void main(String args[]) {
//declare a string days
String[] days = {" Monday " , " Holiday " , " Saturday " , " Tuesday " , " Wednesday " , " Sunday " , " Thursday " , " Friday " };
//set the assertion as 7
assert days.length==7 : "7 days are present in a week, Your input is wrong";
//print the line below
System.out.println("There are " + days.length + "  days in a week");
}
}

Output:

  • Apabila melaksanakan kod, ralat penegasan dilemparkan kerana bilangan hari dalam seminggu ialah 7, dan input rentetan yang diberikan mengandungi lebih daripada itu.

Penegasan Java

  • Mari kami mengalih keluar Holiday daripada nilai input dan lihat apakah outputnya.

Penegasan Java

Ya. Baris akan dicetak kerana nilai penegasan memenuhi nilai input.

Kelebihan menggunakan Assertion dalam Java

Berikut adalah kelebihan utama menggunakan Assertion.

  • Pengesanan dan pembetulan pepijat yang cekap.
  • Kod boilerplate akan dialih keluar dan membantu dalam mencipta kod yang boleh dibaca.
  • Masa pelaksanaan tidak akan terjejas kerana ia dialih keluar secara automatik semasa masa jalanan.
  • Pengesanan dan pembetulan pepijat pantas.
  • Pengoptimuman kod dan pemfaktoran semula dilakukan dengan keyakinan tinggi untuk berfungsi dengan betul.

Selain perkara di atas, di bawah adalah perkara penting yang perlu diketahui semasa mengkaji Penegasan.

  • Pernyataan dalam Java diperkenalkan dalam versi JDK 1.4
  • Assert ialah kata kunci yang digunakan untuk melaksanakan penegasan.
  • Mendayakan dan melumpuhkan penegasan boleh dilakukan pada masa jalan dengan bantuan sintaks yang sepadan.
  • Walaupun penegasan memuji pengecualian, ia tidak menggantikan pengecualian.
  • Ia tidak menggantikan ujian unit walaupun ia membantu dalam pengesahan syarat.
  • Jangan sekali-kali menggunakan penegasan untuk argumen atau parameter pengesahan kaedah yang terbuka.

Kesimpulan

Java Assertion ialah pernyataan yang memeriksa kebenaran syarat tertentu. Ia biasanya digunakan dalam ujian semasa pembangunan perisian. Selain itu, ia digunakan dengan ungkapan Boolean tertentu. Dalam artikel ini, beberapa aspek seperti sintaks, kerja, kebaikan, keburukan dan contoh Penegasan diterangkan secara terperinci.

Atas ialah kandungan terperinci Penegasan Java. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!

Kenyataan:
Kandungan artikel ini disumbangkan secara sukarela oleh netizen, dan hak cipta adalah milik pengarang asal. Laman web ini tidak memikul tanggungjawab undang-undang yang sepadan. Jika anda menemui sebarang kandungan yang disyaki plagiarisme atau pelanggaran, sila hubungi admin@php.cn
Artikel sebelumnya:URI Java.netArtikel seterusnya:URI Java.net