Content deleted Content added
rv vandalism |
CortexFiend (talk | contribs) Link suggestions feature: 2 links added. |
||
(385 intermediate revisions by more than 100 users not shown) | |||
Line 1:
{{Short description|none}} <!-- This short description is INTENTIONALLY "none" - please see WP:SDNONE before you consider changing it! -->
[[File:Java keywords highlighted.svg|thumb|A snippet of Java code with keywords highlighted in blue and bold font]]
In the [[Java (programming language)|Java programming language]], a '''keyword''' is any one of 68 [[reserved word]]s<ref>{{Cite web|title=Java Platform, Standard Edition Java API Reference|url=https://docs.oracle.com/javase/specs/jls/se21/html/jls-3.html#jls-3.9}}</ref> that have a predefined meaning in the language. Because of this, programmers cannot use keywords in some contexts, such as names for [[variable (programming)|variables]], [[method (computer science)|methods]], [[class (computer science)|classes]], or as any other [[identifier]].<ref name="keywords">{{cite web |title=Java Language Specification - Section 3.9: Keywords |url=https://docs.oracle.com/javase/specs/jls/se11/html/jls-3.html#jls-3.9 |work=The Java Language Specification |publisher=[[Oracle Corporation|Oracle]] |date=2018-08-21 |access-date=2018-12-25}}</ref> Of these 68 keywords, 17 of them are only contextually reserved, and can sometimes be used as an identifier, unlike standard reserved words. Due to their special functions in the language, most [[integrated development environment]]s for Java use [[syntax highlighting]] to display keywords in a different colour for easy identification.
==Keywords==
The following words are keywords and cannot be used as identifiers under any circumstances.
;<code>_</code>
:Added in Java 9, the underscore has become a keyword and cannot be used as a variable name anymore.<ref>{{cite web |title=Treatment of underscores|website=JEP 302: Lambda Leftovers |url=https://openjdk.org/jeps/302#Treatment-of-underscores}}</ref>
;<code>[[abstract type|abstract]]</code>
: A method with no definition must be declared as abstract and the class containing it must be declared as abstract. Abstract classes cannot be instantiated. Abstract methods must be implemented in the sub classes. The abstract keyword cannot be used with variables or constructors. Note that an abstract class isn't required to have an abstract method at all.
;<code>[[assertion (software development)|assert]]</code> (added in [[J2SE 1.4]])<ref name="keywords date">{{cite web |title=Java Language Keywords |url=https://docs.oracle.com/javase/tutorial/java/nutsandbolts/_keywords.html |work=The Java Tutorials |publisher=Sun Microsystems, Inc. |accessdate=2017-07-24}}</ref>
:Assert describes a predicate (a true–false statement) placed in a Java program to indicate that the developer thinks that the predicate is always true at that place. If an assertion evaluates to false at run-time, an assertion failure results, which typically causes execution to abort. Assertions are disabled at runtime by default, but can be enabled through a command-line option or programmatically through a method on the class loader.
:
;<code>[[boolean data type|boolean]]</code>
:Defines a boolean variable for the values "true" or "false" only. By default, the value of boolean primitive type is false. This keyword is also used to declare that a method returns a value of the primitive type <code>[[boolean data type|boolean]]</code>. In most other languages, the Boolean type is usually simply called <code>bool</code>.
;<code>[[break statement|break]]</code>
:Used to end the execution in the current loop body.
:Used to break out of a <code>[[#switch|switch]]</code> block.
;<code>[[byte]]</code>
:The <code>byte</code> keyword is used to declare a field that can hold an 8-bit signed [[two's complement]] integer.<ref name="primitive"/>{{sfn|Flanagan|2005|p=22}} This keyword is also used to declare that a method returns a value of the primitive type <code>byte</code>.<ref name="return"/>{{sfn|Flanagan|2005|pp=66-67}}
;<code>[[switch statement|case]]</code>{{Anchor|case}}
:A statement in the <code>[[#switch|switch]]</code> block can be labeled with one or more <code>[[#case|case]]</code> or <code>[[#default|default]]</code> labels. The <code>[[#switch|switch]]</code> statement evaluates its expression, then executes all statements that follow the matching <code>[[#case|case]]</code> label; see <code>[[#switch|switch]]</code>.<ref name="switch"/>{{sfn|Flanagan|2005|pp=46-48}}
;<code>[[exception handling syntax#Java|catch]]</code>
:Used in conjunction with a <code>try</code> block and an optional <code>finally</code> block. The statements in the <code>catch</code> block specify what to do if a specific type of exception is thrown by the <code>try</code> block.
;<code>[[character (computing)|char]]</code>
:Defines a character variable capable of holding any character of the Java source file's character set.
;<code>[[class (computer science)#Java|class]]</code>
:A type that defines the implementation of a particular kind of object. A class definition defines [[Object (computer science)|instance]] and class [[field (computer science)|fields]], [[method (computer science)|methods]], and [[inner class]]es as well as specifying the [[interface (computer science)|interfaces]] the class implements and the immediate [[superclass (computer science)|superclass]] of the class. If the superclass is not explicitly specified, the superclass is implicitly {{Javadoc:SE|java/lang|Object}}. The class keyword can also be used in the form <code>Class.class</code> to get a <code>Class</code> object without needing an instance of that class. For example, <syntaxhighlight lang="Java" inline>String.class</syntaxhighlight> can be used instead of doing <syntaxhighlight lang="Java" inline>new String().getClass()</syntaxhighlight>.
;<code>[[continue (Java)|continue]]</code>
:Used to resume program execution at the end of the current loop body. If followed by a label, <code>continue</code> resumes execution at the end of the enclosing labeled loop body.
;
:The <code>default</code> keyword can optionally be used in a [[switch statement]] to label a block of statements to be executed if no <code>case</code> matches the specified value; see ''<code>[[#switch|switch]]</code>''.<ref name="switch">{{cite web |title=The switch Statement |url=https://docs.oracle.com/javase/tutorial/java/nutsandbolts/switch.html |work=The Java Tutorials |publisher=Sun Microsystems, Inc. |date=February 14, 2008 |accessdate=2014-12-18}}</ref>{{sfn|Flanagan|2005|pp=46-48}} Alternatively, the <code>default</code> keyword can also be used to declare default values in a [[Java annotation]]. From Java 8 onwards, the <code>default</code> keyword can be used to allow an interface to provide an implementation of a method.
;<code>[[do while loop
:The <code>do</code> keyword is used in conjunction with <code>[[#while|while]]</code> to create a [[do-while loop]], which executes a block of statements associated with the loop and then tests a boolean expression associated with the <code>while</code>. If the expression evaluates to <code>true</code>, the block is executed again; this continues until the expression evaluates to <code>false</code>.<ref name="do-while">{{cite web |title=The while and do-while Statements |url=https://docs.oracle.com/javase/tutorial/java/nutsandbolts/while.html |work=The Java Tutorials |publisher=Sun Microsystems, Inc. |date=February 14, 2008 |accessdate=2008-12-03}}</ref>{{sfn|Flanagan|2005|pp=48-49}}
;<code>[[
:The <code>double</code> keyword is used to declare a variable that can hold a 64-bit [[double precision]] [[IEEE 754]] [[floating-point number]].<ref name="primitive">{{cite web |title=Primitive Data Types |url=https://docs.oracle.com/javase/tutorial/java/nutsandbolts/datatypes.html |work=The Java Tutorials |publisher=Sun Microsystems, Inc. |date=February 14, 2008 |accessdate=2008-12-03}}</ref>{{sfn|Flanagan|2005|p=22}} This keyword is also used to declare that a method returns a value of the primitive type <code>double</code>.<ref name="return">{{cite web |title=Returning a Value from a Method |url=https://docs.oracle.com/javase/tutorial/java/javaOO/returnvalue.html |work=The Java Tutorials |publisher=Sun Microsystems, Inc. |date=February 14, 2008 |accessdate=2008-12-03}}</ref>{{sfn|Flanagan|2005|pp=66-67}}
;<code>[[conditional (programming)|else]]</code>{{Anchor|else}}
:The <code>else</code> keyword is used in conjunction with <code>[[#if|if]]</code> to create an [[conditional (programming)|if-else statement]], which tests a [[boolean expression]]; if the expression evaluates to <code>true</code>, the block of statements associated with the <code>if</code> are evaluated; if it evaluates to <code>false</code>, the block of statements associated with the <code>else</code> are evaluated.<ref name="if-else">{{cite web |title=The if-then and if-then-else Statements |url=https://docs.oracle.com/javase/tutorial/java/nutsandbolts/if.html |work=The Java Tutorials |publisher=Sun Microsystems, Inc. |date=February 14, 2008 |accessdate=2008-12-03}}</ref>{{sfn|Flanagan|2005|pp=44-46}}
;<code>[[
:A Java keyword used to declare an [[enumerated type]]. Enumerations extend the base class {{Javadoc:SE|java/lang|Enum}}.
;<code>[[
:Used in a class declaration to specify the superclass; used in an interface declaration to specify one or more superinterfaces. Class X extends class Y to add functionality, either by adding fields or methods to class Y, or by overriding methods of class Y. An interface Z extends one or more interfaces by adding methods. Class X is said to be a subclass of class Y; Interface Z is said to be a subinterface of the interfaces it extends.
:Also used to specify an upper bound on a type parameter in Generics.
;<code>[[final (Java)|final]]</code>
:Define an entity once that cannot be changed nor derived from later. More specifically: a final class cannot be subclassed, a final method cannot be overridden, and a final variable can occur at most once as a left-hand expression on an executed command. All methods in a final class are implicitly <code>final</code>.
;<code>[[
:Used to define a block of statements for a block defined previously by the <code>try</code> keyword. The <code>finally</code> block is executed after execution exits the <code>try</code> block and any associated <code>catch</code> clauses regardless of whether an exception was thrown or caught, or execution left method in the middle of the <code>try</code> or <code>catch</code> blocks using the <code>return</code> keyword.
;<code>[[
:The <code>float</code> keyword is used to declare a variable that can hold a 32-bit [[single precision]] IEEE 754 floating-point number.<ref name="primitive"/>{{sfn|Flanagan|2005|p=22}} This keyword is also used to declare that a method returns a value of the primitive type <code>float</code>.<ref name="return"/>{{sfn|Flanagan|2005|pp=66-67}}
;<code>[[for loop
:The <code>for</code> keyword is used to create a [[for loop]], which specifies a variable initialization, a [[boolean expression]], and an incrementation. The variable initialization is performed first, and then the boolean expression is evaluated. If the expression evaluates to <code>true</code>, the block of statements associated with the loop are executed, and then the incrementation is performed. The boolean expression is then evaluated again; this continues until the expression evaluates to <code>false</code>.<ref name="for">{{cite web |title=The for Statement |url=https://docs.oracle.com/javase/tutorial/java/nutsandbolts/for.html |work=The Java Tutorials |publisher=Sun Microsystems, Inc. |date=February 14, 2008 |accessdate=2008-12-03}}</ref>
:As of [[J2SE 5.0]], the <code>for</code> keyword can also be used to create a so-called "[[foreach|enhanced for loop]]",{{sfn|Flanagan|2005|pp=50-54}} which specifies an [[array data type|array]] or {{Javadoc:SE|java/lang|Iterable}} object; each iteration of the loop executes the associated block of statements using a different element in the array or <code>Iterable</code>.<ref name="for"/>
;<code>[[
:The <code>if</code> keyword is used to create an [[if statement]], which tests a [[boolean expression]]; if the expression evaluates to <code>true</code>, the block of statements associated with the if statement is executed. This keyword can also be used to create an [[conditional (programming)|if-else statement]]; see ''<code>[[#else|else]]</code>''.<ref name="if-else"/>{{sfn|Flanagan|2005|pp=44-46}}
;<code>implements</code>
:Included in a class declaration to specify one or more [[
;<code>import</code>{{Anchor|import}}
:Used at the beginning of a [[source file]] to specify classes or entire [[Java package]]s to be referred to later without including their package names in the reference. Since J2SE 5.0, <code>import</code> statements can import <code>static</code> members of a class. A [[Java Platform Module System|Java module]] may itself be imported (by writing <code>import module</code>), automatically importing all exported packages.<ref>{{Cite web|url=https://openjdk.org/jeps/494|title=JEP 494: Module Import Declarations (Second Preview)|website=openjdk.org}}</ref>
;<code>instanceof</code>
:A [[operator (programming)|binary operator]] that takes an object reference as its first operand and a class or interface as its second operand and produces a boolean result. The <code>instanceof</code> operator evaluates to true if and only if the runtime type of the object is assignment compatible with the class or interface.
;<code>[[
:The <code>int</code> keyword is used to declare a variable that can hold a 32-bit signed two's complement integer.<ref name="primitive"/>{{sfn|Flanagan|2005|p=22}} This keyword is also used to declare that a method returns a value of the primitive type <code>int</code>.<ref name="return"/>{{sfn|Flanagan|2005|pp=66-67}}
;<code>[[
:Used to declare
;<code>[[long integer|long]]</code>
:The <code>long</code> keyword is used to declare a variable that can hold a 64-bit signed two's complement integer.<ref name="primitive"/>{{sfn|Flanagan|2005|p=22}} This keyword is also used to declare that a method returns a value of the primitive type <code>long</code>.<ref name="return"/>{{sfn|Flanagan|2005|pp=66-67}}
;<code>[[Java Native Interface|native]]</code>
:Used in method declarations to specify that the method is not implemented in the same Java source file, but rather in another language.
;<code>[[
:Used to create an instance of a class or array object. Using keyword for this end is not completely necessary (as exemplified by [[Scala (programming language)|Scala]]), though it serves two purposes: it enables the existence of different namespace for methods and class names, it defines statically and locally that a fresh object is indeed created, and of what runtime type it is (arguably introducing dependency into the code).
;<code>[[Java package|package]]</code>
:
;<code>[[b:Java Programming/Classes, Objects and Types|private]]</code>
:The <code>private</code> keyword is used in the declaration of a method, field, or inner class; private members can only be accessed by other members of their own class.<ref name="access">{{cite web |title=Controlling Access to Members of a Class |url=https://docs.oracle.com/javase/tutorial/java/javaOO/accesscontrol.html |work=The Java Tutorials |publisher=Sun Microsystems, Inc. |date=February 14, 2008 |accessdate=2008-12-03}}</ref>
;<code>[[
:
;<code>[[b:Java Programming/Classes, Objects and Types|public]]</code>
:
;<code>[[
:Used to finish the execution of a method. It can be followed by a value required by the method definition that is returned to the caller.
;<code>[[short integer|short]]</code>
:The <code>short</code> keyword is used to declare a field that can hold a 16-bit signed two's complement integer.<ref name="primitive"/>{{sfn|Flanagan|2005|p=22}} This keyword is also used to declare that a method returns a value of the primitive type <code>short</code>.<ref name="return"/>{{sfn|Flanagan|2005|pp=66-67}}
;<code>[[
:Used to declare a field, method, or inner class as a class field. Classes maintain one copy of class fields regardless of how many instances exist of that class. <code>static</code> also is used to define a method as a class method. Class methods are [[
;<code>[[inheritance (object-oriented programming)|super]]</code>
:Inheritance basically used to achieve dynamic binding or run-time polymorphism in Java. Used to access members of a class inherited by the class in which it appears. Allows a subclass to access [[method overriding (programming)|overridden]] methods and hidden members of its superclass. The <code>super</code> keyword is also used to forward a call from a constructor to a constructor in the superclass.
:Also used to specify a lower bound on a type parameter in Generics.
;<code>[[
:The <code>switch</code> keyword is used in conjunction with <code>[[#case|case]]</code> and <code>[[#default|default]]</code> to create a [[switch statement]], which evaluates a variable, matches its value to a specific <code>case</code> (including [[pattern matching|patterns]]), and executes the block of statements associated with that <code>case</code>. If no <code>case</code> matches the value, the optional block labelled by <code>default</code> is executed, if included.<ref name="switch"/>{{sfn|Flanagan|2005|pp=46-48}} The switch keyword can also be used with the non-reserved keyword <code>yield</code> to create switch expressions.
;<code>[[
:Used in the declaration of a method or code block to acquire the [[mutex]] lock for an object while the current [[thread (computer science)|thread]] executes the code.{{sfn|Flanagan|2005|pp=66-67}} For static methods, the object locked is the class's <code>Class</code>. Guarantees that at most one thread at a time operating on the same object executes that code. The mutex lock is automatically released when execution exits the synchronized code. Fields, classes and interfaces cannot be declared as ''synchronized''.
;<code>[[this (Java)|this]]</code>
:Used to represent an instance of the class in which it appears. <code>this</code> can be used to access class members and as a reference to the current instance. The <code>this</code> keyword is also used to forward a call from one constructor in a class to another constructor in the same class.
;<code>[[
:Causes the declared exception instance to be thrown. This causes execution to continue with the first enclosing exception handler declared by the <code>catch</code> keyword to handle an assignment compatible exception type. If no such exception handler is found in the current method, then the method returns and the process is repeated in the calling method. If no exception handler is found in any method call on the stack, then the exception is passed to the thread's uncaught exception handler.
;<code>[[
:Used in method declarations to specify which exceptions are not handled within the method but rather passed to the next higher level of the program. All uncaught exceptions in a method that are not instances of <code>RuntimeException</code> must be declared using the <code>throws</code> keyword.
;<code>[[transient (computer programming)|transient]]</code>
:Declares that an instance field is not part of the default [[
{{cite web |first=William |last=Grosso |title=Java RMI: Serialization |url=http://onjava.com/pub/a/onjava/excerpt/JavaRMI_10/index.html?page=3 |at=Declaring serialPersistentFields |work=ONJava |publisher=O'Reilly Media |date=November 21, 2001 |accessdate=2010-09-16}}
</ref>
;<code>[[
:Defines a block of statements that have exception handling. If an exception is thrown inside the <code>try</code> block, an optional <code>catch</code> block can handle declared exception types. Also, an optional <code>finally</code> block can be declared that will be executed when execution exits the <code>try</code> block and <code>catch</code> clauses, regardless of whether an exception is thrown or not. A <code>try</code> block must have at least one <code>catch</code> clause or a <code>finally</code> block.
;<code>[[void
:
;<code>[[
:Used in field declarations to
;<code>[[do while loop
:The <code>while</code> keyword is used to create a [[while loop]], which tests a [[boolean expression]] and executes the block of statements associated with the loop if the expression evaluates to <code>true</code>; this continues until the expression evaluates to <code>false</code>. This keyword can also be used to create a [[do-while loop]]; see ''<code>[[#do|do]]</code>''.<ref name="do-while"/>{{sfn|Flanagan|2005|pp=48-49}}
==
The following identifiers are contextual keywords, and are only restricted in some contexts:
;<code>exports</code>
:Used in a module declaration to specify which packages are available to other modules.
;<code>[[Java Platform Module System|module]]</code>
:Declares a [[Modular programming|module]] (a collection of related packages and resources that can be treated as a unit), used to encapsulate and expose only the public API of a library.
;<code>non-sealed</code>
:Used to declare that a class or interface which extends a sealed class can be extended by unknown classes.<ref name="sealed">{{cite web|title=Sealed Classes|url=https://docs.oracle.com/en/java/javase/15/docs/specs/sealed-classes-jls.html#jls|access-date=2021-08-07|website=docs.oracle.com|publisher=Oracle Corporation}}</ref>
;<code>open</code>
:Indicates that all classes in a package are accessible via reflection by other modules.
;<code>opens</code>
:Used to open a specific package for reflection to other modules.
;<code>permits</code>
:The permits clause specifies the classes that are permitted to extend a sealed class.<ref name="sealed" />
;<code>provides</code>
:Used to declare that a module provides an implementation of a service interface.
;<code>[[Record (computer science)|record]]</code>
:A special kind of class that acts as a transparent carrier of immutable data, automatically providing <code>.equals()</code>, <code>.hashCode()</code>, and <code>.toString()</code> methods.
;<code>requires</code>
:Used in a module declaration to specify that the module depends on another module.
;<code>sealed</code>
:A sealed class or interface can only be extended or implemented by classes and interfaces permitted to do so.<ref name="sealed" />
;<code>to</code>
:Used with the <code>opens</code> directive to specify which module is allowed to reflectively access the package.
;<code>transitive</code>
:Used with the <code>requires</code> directive to indicate that a module not only requires another module but also makes that module's dependencies available to modules that depend on it.
;<code>uses</code>
:Used in a module to declare that the module is using a service (i.e. it will consume a service provided by other modules).
;<code>[[Type inference|var]]</code>
:A special identifier that cannot be used as a type name (since Java 10).<ref>{{cite web |url=https://docs.oracle.com/javase/specs/jls/se11/html/jls-3.html#jls-3.9|title=Chapter 3. Lexical Structure|website=docs.oracle.com|access-date=2018-12-25}}</ref> Used to declare a variable without explicitly specifying the type, rather relying on the compiler to infer the type based on the initialiser.
;<code>when</code>
:Used as an additional check for a <code>case</code> statement. <ref> {{cite web |url=https://docs.oracle.com/javase/specs/jls/se21/html/jls-14.html#jls-14.11.1|title=Chapter 14. Blocks, Statements, and Patterns}}</ref>
;<code>with</code>
:Used with the <code>provides</code> directive to specify which implementation of a service is provided by the module.
;<code>yield</code>
:Used to set a value for a switch expression, when using labelled statement groups (for example, <code>case L:</code>).<ref>{{cite web |title=Switch Expressions |url=https://docs.oracle.com/en/java/javase/16/language/switch-expressions.html |publisher=Oracle Corporation |website=docs.oracle.com |access-date=2020-12-27}}</ref>
==Reserved words for literal values==
The following words refer to literal values used by the language.
;<code>[[truth value|true]]</code>
:A boolean literal value.
;<code>[[truth value|false]]</code>
:A boolean literal value.
;<code>[[null
:A reference literal value.
==Unused==
The following words are reserved as keywords, but currently have no use or purpose.
;<code>[[constant (programming)|const]]</code>
:Although reserved as a keyword in Java, <code>const</code> is not used and has no function.<ref name="keywords"/>{{sfn|Flanagan|2005|p=20}} In other languages, <code>const</code> is typically used to define constants. For defining constants in Java, see the <code>final</code> keyword.
;<code>[[GOTO|goto]]</code>
:Although reserved as a keyword in Java, <code>goto</code> is not used and has no function.<ref name="keywords"/>{{sfn|Flanagan|2005|p=20}} In other languages, <code>goto</code> is typically used as a one-way control statement to jump to a label at another line of code.
;<code>[[strictfp]]</code> (added in [[J2SE 1.2]])<ref name="keywords date" />
:Although reserved as a keyword in Java, <code>strictfp</code> is obsolete, and no longer has any function.<ref>{{Cite web|title=JEP 306: Restore Always-Strict Floating-Point Semantics|url=https://openjdk.java.net/jeps/306}}</ref> Previously this keyword was used to restrict the precision and rounding of floating point calculations to ensure portability.{{sfn|Flanagan|2005|pp=66-67}}
==See also==
*[[Java syntax]]
*[[Java annotation]]
==References==
{{Reflist}}
==External links==
{{Refbegin}}
*{{cite book |last1=Gosling |first1=James |authorlink1=James Gosling |last2=Joy |first2=Bill |authorlink2=Bill Joy |last3=Steele |first3=Guy |authorlink3=Guy Steele |last4=Bracha |first4=Gilad |authorlink4=Gilad Bracha |title=Java Language Specification |edition=Third |publisher=[[Addison-Wesley]] Professional |date=June 2005 |isbn=978-0-321-24678-3 |url=http://java.sun.com/docs/books/jls/index.html |accessdate=2008-12-03}}
*{{cite book |last=Flanagan |first=David |authorlink=David Flanagan |title=Java in a Nutshell |edition=Fifth |publisher=[[O'Reilly Media]] |date=March 2005 |isbn=978-0-596-00773-7 |url=https://archive.org/details/javainnutshell00flan |accessdate=2010-03-03 |url-access=registration}}
{{Refend}}
[[Category:Java (programming language)]]
[[Category:Programming language syntax|Java keywords]]
|