C++ STL (Standard Template Library) Interview Questions

In C++, the Standard Template Library (STL) provides ready-made tools for handling data structures and algorithms efficiently. Built on templates, STL works with any data type and includes four main parts: containers, algorithms, iterators, and function objects.

Below are some of the most important interview questions about STL.

1. What is STL?

STL stands for Standard Template Library. It provides four main components:

1. Containers (data structures like vector, list, map, etc.)
2. Algorithms (sorting, searching, etc.)
3. Iterators (generalized pointers for traversal)
4. Function objects (functors used with algorithms)

2. What is the difference between an array and a list?

The major differences between the arrays and lists are:

3. What are STL containers? Explain different types with examples.

STL containers are predefined data structures in C++ that store collections of data in various ways. They are categorized into three types:

1. Sequence Containers: Maintain the order of insertion.

• vector: Dynamic array
• list: Doubly linked list
• deque: Double-ended queue

Example:

vector<int> v = {1, 2, 3};

2. Associative Containers: Store elements using keys (ordered).

• set, multiset: Store unique values
• map, multimap: Store key-value pairs

Example:

map<string, int> age;
age["Alice"] = 25;

3. Unordered Associative Containers: Use hash tables instead of trees.

• unordered_set, unordered_map

Example:

unordered_map<string, int> scores;

4. Container Adapters: Built on other containers with restricted interface

• stack: based on last-in-first-out (LIFO).
• queue: based on first-in-first-out (FIFO).
• priority_queue: implemented using min or max heap

Containers save time and effort by providing built-in operations like insertion, deletion, and search with optimal complexity.

4. How is the vector container implemented in STL? Explain its Features and limitations.

The vector container in C++ STL is a dynamic array that can grow or shrink in size at runtime. It provides random access to elements and stores them in contiguous memory locations, like traditional arrays.

Implementation Details:

• Internally uses a dynamically allocated array
• When the capacity is exceeded, it allocates a new array of larger size (usually 2x) and copies the old elements
• Elements are stored sequentially for fast access

Features:

• Random Access (O(1)): Access any element using v[i]
• Automatic resizing: No need to manually manage memory
• STL Compatible: Works with algorithms, iterators, etc.

Limitations:

• Inserting or deleting in the middle is costly (O(n))
• Reallocation during resizing is time-consuming
• May use extra memory due to reserved capacity

Example:

The vector is one of the most commonly used STL containers due to its efficiency, flexibility, and support for standard operations.

5. What happens if you modify a vector while iterating through it using a range-based for loop?

If you **modify a std::vector while iterating through it using a range-based for loop, the behavior can be unpredictable and often unsafe. Here's why:

• A range-based for loop uses iterators internally.
• If you add or remove elements from the vector during iteration:
  • Reallocation may occur (if capacity is exceeded).
  • Existing iterators may become invalid.
  • Leads to undefined behavior like crashes or logic errors.

Wrong Usage:

Correct Approach (Using Index):

One assume the range-based loop reflects vector changes, but it doesn’t, it can crash or skip elements

6. What are iterators in STL? Describe types of iterators with examples.

An iterator is an object (like a pointer) used to traverse containers. STL uses iterators to access elements in a uniform manner, regardless of the container. Iterators help in writing generic algorithms that work across different container types.

Types of Iterators:

Example:

10 20 30 

7. What is the effect of modifying a container (e.g., inserting or erasing elements) during iteration? How can you safely erase elements from a vector or set while iterating?

Modifying a container (like inserting or erasing elements) while iterating over it can lead to undefined behavior because iterators can become invalidated.

• For containers like vector or deque, erasing an element invalidates all iterators from the erased position onwards.
• For set or map, only the iterator to the erased element is invalidated.

To safely erase elements during iteration, we must:

• Avoid incrementing the iterator manually after erase (use returned iterator).
• Or, use remove-erase idiom (for vector).
• Or, use post-increment technique in containers like set.

Example Code:

1 2 4 5 6 

remove() shifts all non-3s forward and returns a new end iterator. erase() then removes the trailing garbage efficiently.

5. What are function objects (functors) in STL? How are they used?

• A function object (functor) is any object that can be called like a function using the () operator.
• In C++, this is done by overloading the operator() in a class or struct.
• STL provides several built-in functors (like std::greater, std::less, etc.) for use with algorithms and containers.

How are they used?

• Functors are often used to customize sorting, searching, filtering, etc.
• They can carry state/data, unlike regular functions or function pointers.
• Used in STL algorithms like std::sort, std::for_each, std::count_if, etc.

Example:

98 65 45 34 3 2 

Function objects:

• Are faster than regular functions (inlined)
• Can maintain state
• Work well with templates

They provide flexibility in customizing STL operations like sorting or filtering.

6. What are lambda expressions in C++? How do they relate to STL?

Lambda expressions are anonymous functions defined inline using the [] syntax. They are commonly used with STL algorithms to simplify code.

Syntax:

[ capture ] (parameters) -> return_type { body }

Example:

2

Advantages:

• Avoids defining separate functions
• Captures variables from the surrounding scope
• Great for one-time use with STL

Lambdas improve clarity and reduce boilerplate in functional-style C++ code.

7. What are allocators in STL? Can they be customized?

Allocators define how memory is allocated and deallocated for STL containers. By default, containers use std::allocator<T> which uses new/delete. Custom allocators can be provided for special needs such as memory pools, shared memory, or tracking.

Custom Allocator Example:

Use Cases:

• Embedded systems with custom memory policies
• Tracking memory usage
• Memory pooling

8. Explain the difference between map, unordered_map, and multimap in STL.

Example:

map<int, string> m;
unordered_map<int, string> um;
multimap<int, string> mm;

Choosing the right container depends on whether order, speed, or duplicate keys are required.

12. What happens if you insert a duplicate key in std::set or std::map? How do you detect insertion success?

Set and map do not allow duplicate keys. The insert() method returns a pair<iterator, bool>, where bool indicates success.

Example:

Inserted
Duplicate

One often assume insert() silently overwrites in set, but it doesn’t. Checking return value is key.

13. What is the difference between emplace and insert in STL containers? When is emplace preferred?

• When you want to create and insert an object in a single step.
• Especially useful with complex objects (e.g., std::pair, user-defined classes) to avoid temporary objects.
• Prefer emplace when performance matters and copy/move operations are expensive.

Example:

Constructed with 5
Constructed with 10

emplace() can significantly improve performance in complex objects or in associative containers like map.

14. Why does std::remove not actually remove elements from a vector? What is the remove-erase idiom?

• std::remove is an algorithm that only rearranges elements; it does not change the container's size.
• It moves the elements to be "removed" to the end of the range and returns an iterator to the new logical end.
• Since std::remove operates on iterators, not containers, it cannot physically delete elements from a vector.

Remove-Erase Idiom:

• To actually remove elements from a std::vector, use the remove-erase idiom:

v.erase(std::remove(v.begin(), v.end(), value), v.end());

• This first uses std::remove to shift undesired elements, then erase() to remove them and resize the vector.

Example:

1 3 4 

Beginners expect remove() to delete from the container, but STL separates algorithm logic (remove) from container mutation (erase).

15. How do you sort a vector<pair<int, int>> by second element using STL?

To sort a vector<pair<int, int>> by the second element of the pairs using STL, you can use std::sort with a custom comparator.

Example:

3 : 2
2 : 3
1 : 4

• The lambda comparator compares pairs based on their second member.
• std::sort uses this comparator to order the vector accordingly.

STL sort by default sorts by .first for pairs.

16. What happens if you use a vector as a key in an unordered_map?

Using a std::vector as a key in an unordered_map is not allowed by default because:

• unordered_map requires the key type to be hashable (i.e., there must be a hash function defined).
• The Standard Library does not provide a built-in std::hash specialization for std::vector.
• Without a hash function for std::vector, the code won’t compile.

To use std::vector as a key in unordered_map, you must provide:

1. A custom hash function for the vector.
2. An equality comparator (if needed, default operator== works for vectors).

Fix with Custom Hasher:

10

Note: Most STL types like vector work in map, but not in unordered_map unless hash function is provided.