Content deleted Content added
m Typo correction - You can help! (Assocat* -> Associat*) |
CortexFiend (talk | contribs) Link suggestions feature: 2 links added. |
||
(373 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
==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>[[
: 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>[[
: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
;<code>[[
: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>[[
: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>[[
:Defines a character variable capable of holding any character of the Java source file's character set.
;<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.
;<code
: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
: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>.
;<code>[[
:The <code>double</code> keyword is used to declare a
;<code
: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=
;<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>[[single precision|float]]</code>
:The <code>float</code> keyword is used to declare a
;<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.
:As of [[
;<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
;<code>[[
:Used to declare
;<code>[[long integer|long]]</code>
:The <code>long</code> keyword is used to declare a
;<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>[[
: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=
;<code>[[
:The <code>protected</code> keyword is used in the declaration of a method, field, or inner class; protected members can only be accessed by members of
;<code>[[
:The <code>public</code> keyword is used in the declaration of a class, method, or field; public classes, methods, and fields can be accessed by the members of any class.<ref name="access"
;<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"
;<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 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>.
;<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
:The <code>void</code> keyword is used to declare that a method does not return any value.<ref name="return"
;<code>[[volatile variable|volatile]]</code>
:Used in field declarations to guarantee visibility of changes to variables across threads. Every read of a volatile variable will be read from main memory, and not from the [[CPU cache]], and that every write to a volatile variable will be written to main memory, and not just to the CPU cache.<ref name="Java Volatile Keyword">{{cite web | title=Java Volatile Keyword | url=http://tutorials.jenkov.com/java-concurrency/volatile.html}}</ref> Methods, classes and interfaces thus cannot be declared ''volatile'', nor can local variables or parameters.
;<code>[[
: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}}
==Reserved Identifiers==
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>[[
: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>[[
:A boolean literal value.
;<code>[[null pointer|null]]</code>
: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]]
|