mirror of
https://github.com/abseil/abseil-cpp.git
synced 2026-06-04 20:14:23 +08:00
e4c43850ad
These were deprecated before the last LTS release. PiperOrigin-RevId: 762205726 Change-Id: I9d15a08967086296ecc9650a7ae0ae9c4973c405
91 lines
3.1 KiB
C++
91 lines
3.1 KiB
C++
// Copyright 2023 The Abseil Authors.
|
|
//
|
|
// Licensed under the Apache License, Version 2.0 (the "License");
|
|
// you may not use this file except in compliance with the License.
|
|
// You may obtain a copy of the License at
|
|
//
|
|
// https://www.apache.org/licenses/LICENSE-2.0
|
|
//
|
|
// Unless required by applicable law or agreed to in writing, software
|
|
// distributed under the License is distributed on an "AS IS" BASIS,
|
|
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
// See the License for the specific language governing permissions and
|
|
// limitations under the License.
|
|
|
|
#include "absl/base/nullability.h"
|
|
|
|
#include <memory>
|
|
#include <type_traits>
|
|
#include <utility>
|
|
|
|
#include "gtest/gtest.h"
|
|
|
|
namespace {
|
|
void funcWithNonnullArg(int* absl_nonnull /*arg*/) {}
|
|
template <typename T>
|
|
void funcWithDeducedNonnullArg(T* absl_nonnull /*arg*/) {}
|
|
|
|
TEST(NonnullTest, NonnullArgument) {
|
|
int var = 0;
|
|
funcWithNonnullArg(&var);
|
|
funcWithDeducedNonnullArg(&var);
|
|
}
|
|
|
|
int* absl_nonnull funcWithNonnullReturn() {
|
|
static int var = 0;
|
|
return &var;
|
|
}
|
|
|
|
TEST(NonnullTest, NonnullReturn) {
|
|
auto var = funcWithNonnullReturn();
|
|
(void)var;
|
|
}
|
|
|
|
TEST(PassThroughTest, PassesThroughRawPointerToInt) {
|
|
EXPECT_TRUE((std::is_same<int* absl_nonnull, int*>::value));
|
|
EXPECT_TRUE((std::is_same<int* absl_nullable, int*>::value));
|
|
EXPECT_TRUE((std::is_same<int* absl_nullability_unknown, int*>::value));
|
|
}
|
|
|
|
TEST(PassThroughTest, PassesThroughRawPointerToVoid) {
|
|
EXPECT_TRUE((std::is_same<void* absl_nonnull, void*>::value));
|
|
EXPECT_TRUE((std::is_same<void* absl_nullable, void*>::value));
|
|
EXPECT_TRUE((std::is_same<void* absl_nullability_unknown, void*>::value));
|
|
}
|
|
|
|
TEST(PassThroughTest, PassesThroughUniquePointerToInt) {
|
|
using T = std::unique_ptr<int>;
|
|
EXPECT_TRUE((std::is_same<absl_nonnull T, T>::value));
|
|
EXPECT_TRUE((std::is_same<absl_nullable T, T>::value));
|
|
EXPECT_TRUE((std::is_same<absl_nullability_unknown T, T>::value));
|
|
}
|
|
|
|
TEST(PassThroughTest, PassesThroughSharedPointerToInt) {
|
|
using T = std::shared_ptr<int>;
|
|
EXPECT_TRUE((std::is_same<absl_nonnull T, T>::value));
|
|
EXPECT_TRUE((std::is_same<absl_nullable T, T>::value));
|
|
EXPECT_TRUE((std::is_same<absl_nullability_unknown T, T>::value));
|
|
}
|
|
|
|
TEST(PassThroughTest, PassesThroughSharedPointerToVoid) {
|
|
using T = std::shared_ptr<void>;
|
|
EXPECT_TRUE((std::is_same<absl_nonnull T, T>::value));
|
|
EXPECT_TRUE((std::is_same<absl_nullable T, T>::value));
|
|
EXPECT_TRUE((std::is_same<absl_nullability_unknown T, T>::value));
|
|
}
|
|
|
|
TEST(PassThroughTest, PassesThroughPointerToMemberObject) {
|
|
using T = decltype(&std::pair<int, int>::first);
|
|
EXPECT_TRUE((std::is_same<absl_nonnull T, T>::value));
|
|
EXPECT_TRUE((std::is_same<absl_nullable T, T>::value));
|
|
EXPECT_TRUE((std::is_same<absl_nullability_unknown T, T>::value));
|
|
}
|
|
|
|
TEST(PassThroughTest, PassesThroughPointerToMemberFunction) {
|
|
using T = decltype(&std::unique_ptr<int>::reset);
|
|
EXPECT_TRUE((std::is_same<absl_nonnull T, T>::value));
|
|
EXPECT_TRUE((std::is_same<absl_nullable T, T>::value));
|
|
EXPECT_TRUE((std::is_same<absl_nullability_unknown T, T>::value));
|
|
}
|
|
} // namespace
|