Skip to content

[libc++] Add nodiscard attribute to std::make_unique/std::make_shared #153115

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 13 commits into
base: main
Choose a base branch
from
+45 −12
Open

[libc++] Add nodiscard attribute to std::make_unique/std::make_shared #153115

Changes from 2 commits
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
935d246
added nodiscard attribute to std::make_unique()
lukasx999 Aug 12, 2025
30e0103
added nodiscard attribute to std::make_shared()
lukasx999 Aug 12, 2025
cf7c589
Merge branch 'main' into dev
lukasx999 Aug 12, 2025
2a26cb8
added nodiscard attribute to actual make_unique implementation
lukasx999 Aug 12, 2025
e13ed16
added nodiscard attribute to make_unique for C++17
lukasx999 Aug 12, 2025
b229542
added nodiscard for make_shared
lukasx999 Aug 12, 2025
1ae47c2
Merge remote-tracking branch 'origin/dev' into dev
lukasx999 Aug 12, 2025
cb4d239
removed _LIBCPP_NODISCARD_SINCE_CXX17 in favor of [[__nodiscard__]]
lukasx999 Aug 12, 2025
710f97c
removed nodiscard from memory synopsis
lukasx999 Aug 12, 2025
d793dae
removed _LIBCPP_NODISCARD_SINCE_CXX17 from make_shared
lukasx999 Aug 12, 2025
d6ac2b2
added tests for make_unique/make_shared nodiscard attribute
lukasx999 Aug 12, 2025
23356ef
using int instead of S for make_unique/make_shared nodiscard test
lukasx999 Aug 13, 2025
2e14fa1
removed version constraint for make_unique/make_shared nodiscard tests
lukasx999 Aug 13, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
36 changes: 18 additions & 18 deletions libcxx/include/memory
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -566,15 +566,15 @@ class bad_weak_ptr
};

template<class T, class... Args>
constexpr unique_ptr<T> make_unique(Args&&... args); // C++14, constexpr since C++23
[[nodiscard]] constexpr unique_ptr<T> make_unique(Args&&... args); // C++14, constexpr since C++23
template<class T>
constexpr unique_ptr<T> make_unique(size_t n); // C++14, constexpr since C++23
[[nodiscard]] constexpr unique_ptr<T> make_unique(size_t n); // C++14, constexpr since C++23
template<class T, class... Args> unspecified make_unique(Args&&...) = delete; // C++14, T == U[N]

template<class T>
constexpr unique_ptr<T> make_unique_for_overwrite(); // T is not array, C++20, constexpr since C++23
[[nodiscard]] constexpr unique_ptr<T> make_unique_for_overwrite(); // T is not array, C++20, constexpr since C++23
template<class T>
constexpr unique_ptr<T> make_unique_for_overwrite(size_t n); // T is U[], C++20, constexpr since C++23
[[nodiscard]] constexpr unique_ptr<T> make_unique_for_overwrite(size_t n); // T is U[], C++20, constexpr since C++23
template<class T, class... Args>
unspecified make_unique_for_overwrite(Args&&...) = delete; // T is U[N], C++20

Expand Down Expand Up @@ -702,39 +702,39 @@ template<class E, class T, class Y>
template<class D, class T> D* get_deleter(shared_ptr<T> const& p) noexcept;

template<class T, class... Args>
shared_ptr<T> make_shared(Args&&... args); // T is not an array
[[nodiscard]] shared_ptr<T> make_shared(Args&&... args); // T is not an array
template<class T, class A, class... Args>
shared_ptr<T> allocate_shared(const A& a, Args&&... args); // T is not an array
[[nodiscard]] shared_ptr<T> allocate_shared(const A& a, Args&&... args); // T is not an array

template<class T>
shared_ptr<T> make_shared(size_t N); // T is U[] (since C++20)
[[nodiscard]] shared_ptr<T> make_shared(size_t N); // T is U[] (since C++20)
template<class T, class A>
shared_ptr<T> allocate_shared(const A& a, size_t N); // T is U[] (since C++20)
[[nodiscard]] shared_ptr<T> allocate_shared(const A& a, size_t N); // T is U[] (since C++20)

template<class T>
shared_ptr<T> make_shared(); // T is U[N] (since C++20)
[[nodiscard]] shared_ptr<T> make_shared(); // T is U[N] (since C++20)
template<class T, class A>
shared_ptr<T> allocate_shared(const A& a); // T is U[N] (since C++20)
[[nodiscard]] shared_ptr<T> allocate_shared(const A& a); // T is U[N] (since C++20)

template<class T>
shared_ptr<T> make_shared(size_t N, const remove_extent_t<T>& u); // T is U[] (since C++20)
[[nodiscard]] shared_ptr<T> make_shared(size_t N, const remove_extent_t<T>& u); // T is U[] (since C++20)
template<class T, class A>
shared_ptr<T> allocate_shared(const A& a, size_t N, const remove_extent_t<T>& u); // T is U[] (since C++20)
[[nodiscard]] shared_ptr<T> allocate_shared(const A& a, size_t N, const remove_extent_t<T>& u); // T is U[] (since C++20)

template<class T> shared_ptr<T>
make_shared(const remove_extent_t<T>& u); // T is U[N] (since C++20)
[[nodiscard]] make_shared(const remove_extent_t<T>& u); // T is U[N] (since C++20)
template<class T, class A>
shared_ptr<T> allocate_shared(const A& a, const remove_extent_t<T>& u); // T is U[N] (since C++20)
[[nodiscard]] shared_ptr<T> allocate_shared(const A& a, const remove_extent_t<T>& u); // T is U[N] (since C++20)

template<class T>
shared_ptr<T> make_shared_for_overwrite(); // T is not U[], C++20
[[nodiscard]] shared_ptr<T> make_shared_for_overwrite(); // T is not U[], C++20
template<class T, class A>
shared_ptr<T> allocate_shared_for_overwrite(const A& a); // T is not U[], C++20
[[nodiscard]] shared_ptr<T> allocate_shared_for_overwrite(const A& a); // T is not U[], C++20

template<class T>
shared_ptr<T> make_shared_for_overwrite(size_t N); // T is U[], C++20
[[nodiscard]] shared_ptr<T> make_shared_for_overwrite(size_t N); // T is U[], C++20
template<class T, class A>
shared_ptr<T> allocate_shared_for_overwrite(const A& a, size_t N); // T is U[], C++20
[[nodiscard]] shared_ptr<T> allocate_shared_for_overwrite(const A& a, size_t N); // T is U[], C++20

template<class T>
class weak_ptr
Expand Down