Type promotion in Java - Time & Space Complexity

Time Complexity: Type promotion

O(1)

Understanding Time Complexity

We want to see how the time it takes to run code changes when Java automatically changes smaller data types to bigger ones during calculations.

How does this automatic change affect the number of steps the program takes?

Scenario Under Consideration

Analyze the time complexity of the following code snippet.

public class TypePromotionExample {
    public static void main(String[] args) {
        byte a = 10;
        byte b = 20;
        int c = a + b;  // type promotion happens here
        System.out.println(c);
    }
}

This code adds two byte values. Java promotes them to int before adding.

Identify Repeating Operations

Identify the loops, recursion, array traversals that repeat.

• Primary operation: A single addition operation with type promotion.
• How many times: Exactly once in this example.

How Execution Grows With Input

Since the code only adds two numbers once, the steps stay the same no matter what.

Input Size (n)	Approx. Operations
10	1 addition with promotion
100	1 addition with promotion
1000	1 addition with promotion

Pattern observation: The number of operations does not grow with input size.

Final Time Complexity

Time Complexity: O(1)

This means the program takes the same amount of time no matter the input size.

Common Mistake

[X] Wrong: "Type promotion makes the program slower as input grows because it adds extra steps."

[OK] Correct: Type promotion happens instantly during the operation and does not repeat or grow with input size here.

Interview Connect

Understanding how Java handles type promotion helps you explain how simple operations work under the hood, showing your attention to detail and knowledge of language basics.

Self-Check

"What if we added many byte values in a loop? How would the time complexity change then?"

Practice

1. Which of the following statements about Java type promotion is correct?

easy

A. long is always promoted to byte in expressions.

B. byte, short, and char are promoted to int before arithmetic operations.

C. double is promoted to float when mixed with float.

D. int is promoted to byte automatically in expressions.

Solution

1. Step 1: Understand type promotion basics

   Java promotes smaller integer types (byte, short, char) to int before arithmetic to avoid data loss.

2. Step 2: Evaluate each option

   byte, short, and char are promoted to int before arithmetic operations. correctly states this rule. Options A, B, and C are incorrect because long is not promoted to byte, int is not promoted to byte, and double is not promoted to float.

3. Final Answer:

   byte, short, and char are promoted to int before arithmetic operations. -> Option B

4. Quick Check:

   byte/short/char -> int promotion = D [OK]

Hint: Remember: small integers become int before math [OK]

Common Mistakes:

• Thinking int is promoted to byte
• Confusing float and double promotion
• Assuming long is promoted to smaller types

2. Which of the following Java code snippets correctly compiles without explicit casting due to type promotion?

easy

A. int result = (byte)10 + (short)20;

B. short s = 10 + 20;

C. byte b = 10 + 20;

D. int sum = 10 + 20;

Solution

1. Step 1: Analyze type promotion in arithmetic

   In expressions, byte and short are promoted to int, so 10 + 20 is int.

2. Step 2: Check each assignment

   int result = (byte)10 + (short)20; casts explicitly, so compiles but casting is manual. byte b = 10 + 20; tries to assign int result to byte without cast - error. int sum = 10 + 20; assigns int sum correctly. short s = 10 + 20; tries to assign int to short without cast - error.

3. Final Answer:

   int sum = 10 + 20; -> Option D

4. Quick Check:

   byte/short -> int, assign to int = B [OK]

Hint: Assign promoted int results to int variables [OK]

Common Mistakes:

• Assigning int expression to byte or short without cast
• Forgetting byte/short promote to int
• Assuming automatic narrowing conversion

3. What is the output of the following Java code?

byte b = 10;
short s = 20;
char c = 30;
int result = b + s + c;
System.out.println(result);

medium

A. 60.0

B. Syntax error

C. 60

D. Runtime error

Solution

1. Step 1: Understand type promotion in expression

   byte, short, and char are promoted to int before addition, so b + s + c is int.

2. Step 2: Calculate the sum

   10 + 20 + 30 = 60, assigned to int variable result, then printed.

3. Final Answer:

   60 -> Option C

4. Quick Check:

   byte+short+char -> int sum = 60 [OK]

Hint: Sum small types promoted to int, print int result [OK]

Common Mistakes:

• Expecting byte or short result type
• Confusing output with float/double
• Thinking code causes error

4. Identify the error in the following Java code and fix it:

byte b = 5;
byte c = 10;
byte sum = b + c;
System.out.println(sum);

medium

A. Add explicit cast: byte sum = (byte)(b + c);

B. Change sum to int: int sum = b + c;

C. Change b and c to int: int b = 5, c = 10;

D. No error, code compiles fine.

Solution

1. Step 1: Understand type promotion in addition

   byte variables b and c are promoted to int during addition, so b + c is int.

2. Step 2: Fix assignment error

   Assigning int result to byte sum causes error. Adding explicit cast (byte)(b + c) fixes it.

3. Final Answer:

   Add explicit cast: byte sum = (byte)(b + c); -> Option A

4. Quick Check:

   byte+byte -> int, cast needed for byte = A [OK]

Hint: Cast int result back to byte to fix assignment error [OK]

Common Mistakes:

• Ignoring need for cast when assigning to byte
• Assuming automatic narrowing conversion
• Changing variable types unnecessarily

5. Consider the following code snippet:

float f = 5.5f;
double d = 10.5;
var result = f + d;
System.out.println(((Object)result).getClass().getSimpleName());

What will be printed and why?

hard

A. double because float is promoted to double in mixed expressions

B. float because float is bigger than double

C. float because var infers float type

D. Compilation error due to var usage

Solution

1. Step 1: Understand promotion between float and double

   In expressions mixing float and double, float is promoted to double.

2. Step 2: Determine result type and output

   Variable result is inferred as double by var. Printing class name outputs "Double".

3. Final Answer:

   double because float is promoted to double in mixed expressions -> Option A

4. Quick Check:

   float + double -> double result = A [OK]

Hint: float + double results in double type [OK]

Common Mistakes:

• Assuming var infers float
• Thinking float is bigger than double
• Expecting compilation error with var