| // Protocol Buffers - Google's data interchange format |
| // Copyright 2008 Google Inc. All rights reserved. |
| // https://developers.google.com/protocol-buffers/ |
| // |
| // Redistribution and use in source and binary forms, with or without |
| // modification, are permitted provided that the following conditions are |
| // met: |
| // |
| // * Redistributions of source code must retain the above copyright |
| // notice, this list of conditions and the following disclaimer. |
| // * Redistributions in binary form must reproduce the above |
| // copyright notice, this list of conditions and the following disclaimer |
| // in the documentation and/or other materials provided with the |
| // distribution. |
| // * Neither the name of Google Inc. nor the names of its |
| // contributors may be used to endorse or promote products derived from |
| // this software without specific prior written permission. |
| // |
| // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS |
| // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT |
| // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR |
| // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT |
| // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, |
| // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT |
| // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, |
| // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY |
| // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
| // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE |
| // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| |
| // Author: kenton@google.com (Kenton Varda) |
| // Based on original Protocol Buffers design by |
| // Sanjay Ghemawat, Jeff Dean, and others. |
| |
| #include "google/protobuf/compiler/cpp/field.h" |
| |
| #include <cstdint> |
| #include <memory> |
| #include <string> |
| |
| #include "google/protobuf/descriptor.h" |
| #include "absl/container/flat_hash_map.h" |
| #include "absl/strings/str_cat.h" |
| #include "absl/strings/str_format.h" |
| #include "absl/strings/string_view.h" |
| #include "absl/strings/substitute.h" |
| #include "google/protobuf/compiler/cpp/helpers.h" |
| #include "google/protobuf/compiler/cpp/primitive_field.h" |
| #include "google/protobuf/compiler/cpp/string_field.h" |
| #include "google/protobuf/stubs/logging.h" |
| #include "google/protobuf/stubs/common.h" |
| #include "google/protobuf/compiler/cpp/enum_field.h" |
| #include "google/protobuf/compiler/cpp/map_field.h" |
| #include "google/protobuf/compiler/cpp/message_field.h" |
| #include "google/protobuf/descriptor.pb.h" |
| #include "google/protobuf/wire_format.h" |
| |
| namespace google { |
| namespace protobuf { |
| namespace compiler { |
| namespace cpp { |
| |
| using internal::WireFormat; |
| |
| namespace { |
| |
| void MaySetAnnotationVariable( |
| const Options& options, absl::string_view annotation_name, |
| absl::string_view substitute_template_prefix, |
| absl::string_view prepared_template, int field_index, |
| absl::string_view access_type, |
| absl::flat_hash_map<absl::string_view, std::string>* variables) { |
| if (options.field_listener_options.forbidden_field_listener_events.contains( |
| annotation_name)) |
| return; |
| (*variables)[absl::StrCat("annotate_", annotation_name)] = absl::Substitute( |
| absl::StrCat(substitute_template_prefix, prepared_template, ");\n"), |
| field_index, access_type); |
| } |
| |
| std::string GenerateTemplateForOneofString(const FieldDescriptor* descriptor, |
| absl::string_view proto_ns, |
| absl::string_view field_member) { |
| std::string field_name = google::protobuf::compiler::cpp::FieldName(descriptor); |
| std::string field_pointer = |
| descriptor->options().ctype() == google::protobuf::FieldOptions::STRING |
| ? "$0.UnsafeGetPointer()" |
| : "$0"; |
| std::string has_field = absl::StrFormat( |
| "%s_case() == k%s", descriptor->containing_oneof()->name(), |
| UnderscoresToCamelCase(descriptor->name(), true)); |
| |
| if (descriptor->default_value_string().empty()) { |
| return absl::Substitute( |
| absl::StrCat(has_field, " ? ", field_pointer, ": nullptr"), |
| field_member); |
| } |
| |
| if (descriptor->options().ctype() == google::protobuf::FieldOptions::STRING_PIECE) { |
| return absl::Substitute( |
| absl::StrCat(has_field, " ? ", field_pointer, ": nullptr"), |
| field_member); |
| } |
| |
| std::string default_value_pointer = |
| descriptor->options().ctype() == google::protobuf::FieldOptions::STRING |
| ? "&$1.get()" |
| : "&$1"; |
| return absl::Substitute(absl::StrCat(has_field, " ? ", field_pointer, " : ", |
| default_value_pointer), |
| field_member, MakeDefaultFieldName(descriptor)); |
| } |
| |
| std::string GenerateTemplateForSingleString(const FieldDescriptor* descriptor, |
| absl::string_view field_member) { |
| if (descriptor->default_value_string().empty()) { |
| return absl::StrCat("&", field_member); |
| } |
| |
| if (descriptor->options().ctype() == google::protobuf::FieldOptions::STRING) { |
| return absl::Substitute( |
| "$0.IsDefault() ? &$1.get() : $0.UnsafeGetPointer()", field_member, |
| MakeDefaultFieldName(descriptor)); |
| } |
| |
| return absl::StrCat("&", field_member); |
| } |
| |
| } // namespace |
| |
| void AddAccessorAnnotations( |
| const FieldDescriptor* descriptor, const Options& options, |
| absl::flat_hash_map<absl::string_view, std::string>* variables) { |
| // Can be expanded to include more specific calls, for example, for arena or |
| // clear calls. |
| static constexpr const char* kAccessorsAnnotations[] = { |
| "annotate_add", "annotate_get", "annotate_has", |
| "annotate_list", "annotate_mutable", "annotate_mutable_list", |
| "annotate_release", "annotate_set", "annotate_size", |
| "annotate_clear", "annotate_add_mutable", |
| }; |
| for (size_t i = 0; i < ABSL_ARRAYSIZE(kAccessorsAnnotations); ++i) { |
| (*variables)[kAccessorsAnnotations[i]] = ""; |
| } |
| if (options.annotate_accessor) { |
| for (size_t i = 0; i < ABSL_ARRAYSIZE(kAccessorsAnnotations); ++i) { |
| (*variables)[kAccessorsAnnotations[i]] = absl::StrCat( |
| " ", FieldName(descriptor), "_AccessedNoStrip = true;\n"); |
| } |
| } |
| if (!options.field_listener_options.inject_field_listener_events) { |
| return; |
| } |
| if (descriptor->file()->options().optimize_for() == |
| google::protobuf::FileOptions::LITE_RUNTIME) { |
| return; |
| } |
| std::string field_member = (*variables)["field"]; |
| const google::protobuf::OneofDescriptor* oneof_member = |
| descriptor->real_containing_oneof(); |
| const std::string substitute_template_prefix = |
| absl::StrCat(" ", (*variables)["tracker"], ".$1<$0>(this, "); |
| std::string prepared_template; |
| |
| // Flat template is needed if the prepared one is introspecting the values |
| // inside the returned values, for example, for repeated fields and maps. |
| std::string prepared_flat_template; |
| std::string prepared_add_template; |
| // TODO(b/190614678): Support fields with type Message or Map. |
| if (descriptor->is_repeated() && !descriptor->is_map()) { |
| if (descriptor->type() != FieldDescriptor::TYPE_MESSAGE && |
| descriptor->type() != FieldDescriptor::TYPE_GROUP) { |
| prepared_template = absl::Substitute("&$0.Get(index)", field_member); |
| prepared_add_template = |
| absl::Substitute("&$0.Get($0.size() - 1)", field_member); |
| } else { |
| prepared_template = "nullptr"; |
| prepared_add_template = "nullptr"; |
| } |
| } else if (descriptor->is_map()) { |
| prepared_template = "nullptr"; |
| } else if (descriptor->type() == FieldDescriptor::TYPE_MESSAGE && |
| !IsExplicitLazy(descriptor)) { |
| prepared_template = "nullptr"; |
| } else if (descriptor->cpp_type() == FieldDescriptor::CPPTYPE_STRING) { |
| if (oneof_member) { |
| prepared_template = GenerateTemplateForOneofString( |
| descriptor, ProtobufNamespace(options), field_member); |
| } else { |
| prepared_template = |
| GenerateTemplateForSingleString(descriptor, field_member); |
| } |
| } else { |
| prepared_template = absl::StrCat("&", field_member); |
| } |
| if (descriptor->is_repeated() && !descriptor->is_map() && |
| descriptor->type() != FieldDescriptor::TYPE_MESSAGE && |
| descriptor->type() != FieldDescriptor::TYPE_GROUP) { |
| prepared_flat_template = absl::StrCat("&", field_member); |
| } else { |
| prepared_flat_template = prepared_template; |
| } |
| |
| MaySetAnnotationVariable(options, "get", substitute_template_prefix, |
| prepared_template, descriptor->index(), "OnGet", |
| variables); |
| MaySetAnnotationVariable(options, "set", substitute_template_prefix, |
| prepared_template, descriptor->index(), "OnSet", |
| variables); |
| MaySetAnnotationVariable(options, "has", substitute_template_prefix, |
| prepared_template, descriptor->index(), "OnHas", |
| variables); |
| MaySetAnnotationVariable(options, "mutable", substitute_template_prefix, |
| prepared_template, descriptor->index(), "OnMutable", |
| variables); |
| MaySetAnnotationVariable(options, "release", substitute_template_prefix, |
| prepared_template, descriptor->index(), "OnRelease", |
| variables); |
| MaySetAnnotationVariable(options, "clear", substitute_template_prefix, |
| prepared_flat_template, descriptor->index(), |
| "OnClear", variables); |
| MaySetAnnotationVariable(options, "size", substitute_template_prefix, |
| prepared_flat_template, descriptor->index(), |
| "OnSize", variables); |
| MaySetAnnotationVariable(options, "list", substitute_template_prefix, |
| prepared_flat_template, descriptor->index(), |
| "OnList", variables); |
| MaySetAnnotationVariable(options, "mutable_list", substitute_template_prefix, |
| prepared_flat_template, descriptor->index(), |
| "OnMutableList", variables); |
| MaySetAnnotationVariable(options, "add", substitute_template_prefix, |
| prepared_add_template, descriptor->index(), "OnAdd", |
| variables); |
| MaySetAnnotationVariable(options, "add_mutable", substitute_template_prefix, |
| prepared_add_template, descriptor->index(), |
| "OnAddMutable", variables); |
| } |
| |
| absl::flat_hash_map<absl::string_view, std::string> FieldVars( |
| const FieldDescriptor* desc, const Options& opts) { |
| bool split = ShouldSplit(desc, opts); |
| absl::flat_hash_map<absl::string_view, std::string> vars = { |
| {"ns", Namespace(desc, opts)}, |
| {"name", FieldName(desc)}, |
| {"index", absl::StrCat(desc->index())}, |
| {"number", absl::StrCat(desc->number())}, |
| {"classname", ClassName(FieldScope(desc), false)}, |
| {"declared_type", DeclaredTypeMethodName(desc->type())}, |
| {"field", FieldMemberName(desc, split)}, |
| {"tag_size", |
| absl::StrCat(WireFormat::TagSize(desc->number(), desc->type()))}, |
| {"deprecated_attr", DeprecatedAttribute(opts, desc)}, |
| {"set_hasbit", ""}, |
| {"clear_hasbit", ""}, |
| {"maybe_prepare_split_message", |
| split ? "PrepareSplitMessageForWrite();" : ""}, |
| |
| // These variables are placeholders to pick out the beginning and ends of |
| // identifiers for annotations (when doing so with existing variables |
| // would be ambiguous or impossible). They should never be set to anything |
| // but the empty string. |
| {"{", ""}, |
| {"}", ""}, |
| }; |
| |
| // TODO(b/245791219): Refactor AddAccessorAnnotations to avoid this |
| // workaround. |
| absl::flat_hash_map<absl::string_view, std::string> workaround = { |
| {"field", vars["field"]}, |
| {"tracker", "Impl_::_tracker_"}, |
| }; |
| AddAccessorAnnotations(desc, opts, &workaround); |
| for (auto& pair : workaround) { |
| vars.emplace(pair); |
| } |
| |
| return vars; |
| } |
| |
| void SetCommonFieldVariables( |
| const FieldDescriptor* descriptor, |
| absl::flat_hash_map<absl::string_view, std::string>* variables, |
| const Options& options) { |
| SetCommonMessageDataVariables(descriptor->containing_type(), variables); |
| |
| for (auto& pair : FieldVars(descriptor, options)) { |
| variables->emplace(pair); |
| } |
| } |
| |
| absl::flat_hash_map<absl::string_view, std::string> OneofFieldVars( |
| const FieldDescriptor* descriptor) { |
| if (descriptor->containing_oneof() == nullptr) { |
| return {}; |
| } |
| std::string oneof_name = descriptor->containing_oneof()->name(); |
| std::string field_name = UnderscoresToCamelCase(descriptor->name(), true); |
| |
| return { |
| {"oneof_name", oneof_name}, |
| {"field_name", field_name}, |
| {"oneof_index", absl::StrCat(descriptor->containing_oneof()->index())}, |
| {"has_field", |
| absl::StrFormat("%s_case() == k%s", oneof_name, field_name)}, |
| {"not_has_field", |
| absl::StrFormat("%s_case() != k%s", oneof_name, field_name)}, |
| }; |
| } |
| |
| void SetCommonOneofFieldVariables( |
| const FieldDescriptor* descriptor, |
| absl::flat_hash_map<absl::string_view, std::string>* variables) { |
| for (auto& pair : OneofFieldVars(descriptor)) { |
| variables->emplace(pair); |
| } |
| } |
| |
| void FieldGenerator::SetHasBitIndex(int32_t has_bit_index) { |
| if (!internal::cpp::HasHasbit(descriptor_) || has_bit_index < 0) { |
| GOOGLE_CHECK_EQ(has_bit_index, -1); |
| return; |
| } |
| int32_t index = has_bit_index / 32; |
| std::string mask = |
| absl::StrCat(absl::Hex(1u << (has_bit_index % 32), absl::kZeroPad8)); |
| const std::string& has_bits = variables_["has_bits"]; |
| |
| variables_["has_hasbit"] = |
| absl::StrFormat("%s[%d] & 0x%su", has_bits, index, mask); |
| variables_["set_hasbit"] = |
| absl::StrFormat("%s[%d] |= 0x%su;", has_bits, index, mask); |
| variables_["clear_hasbit"] = |
| absl::StrFormat("%s[%d] &= ~0x%su;", has_bits, index, mask); |
| } |
| |
| void FieldGenerator::SetInlinedStringIndex(int32_t inlined_string_index) { |
| if (!IsStringInlined(descriptor_, options_)) { |
| GOOGLE_CHECK_EQ(inlined_string_index, -1); |
| return; |
| } |
| // The first bit is the tracking bit for on demand registering ArenaDtor. |
| GOOGLE_CHECK_GT(inlined_string_index, 0) |
| << "_inlined_string_donated_'s bit 0 is reserved for arena dtor tracking"; |
| variables_["inlined_string_donated"] = absl::StrCat( |
| "(", variables_["inlined_string_donated_array"], "[", |
| inlined_string_index / 32, "] & 0x", |
| absl::Hex(1u << (inlined_string_index % 32), absl::kZeroPad8), |
| "u) != 0;"); |
| variables_["donating_states_word"] = |
| absl::StrCat(variables_["inlined_string_donated_array"], "[", |
| inlined_string_index / 32, "]"); |
| variables_["mask_for_undonate"] = absl::StrCat( |
| "~0x", absl::Hex(1u << (inlined_string_index % 32), absl::kZeroPad8), |
| "u"); |
| } |
| |
| void FieldGenerator::GenerateAggregateInitializer(io::Printer* printer) const { |
| Formatter format(printer, variables_); |
| if (ShouldSplit(descriptor_, options_)) { |
| format("decltype(Impl_::Split::$name$_){arena}"); |
| return; |
| } |
| format("decltype($field$){arena}"); |
| } |
| |
| void FieldGenerator::GenerateConstexprAggregateInitializer( |
| io::Printer* printer) const { |
| Formatter format(printer, variables_); |
| format("/*decltype($field$)*/{}"); |
| } |
| |
| void FieldGenerator::GenerateCopyAggregateInitializer( |
| io::Printer* printer) const { |
| Formatter format(printer, variables_); |
| format("decltype($field$){from.$field$}"); |
| } |
| |
| void FieldGenerator::GenerateCopyConstructorCode(io::Printer* printer) const { |
| if (ShouldSplit(descriptor_, options_)) { |
| // There is no copy constructor for the `Split` struct, so we need to copy |
| // the value here. |
| Formatter format(printer, variables_); |
| format("$field$ = from.$field$;\n"); |
| } |
| } |
| |
| void FieldGenerator::GenerateIfHasField(io::Printer* printer) const { |
| GOOGLE_CHECK(internal::cpp::HasHasbit(descriptor_)); |
| GOOGLE_CHECK(variables_.find("has_hasbit") != variables_.end()); |
| |
| Formatter format(printer, variables_); |
| format("if (($has_hasbit$) != 0) {\n"); |
| } |
| |
| FieldGenerator::~FieldGenerator() {} |
| |
| FieldGeneratorMap::FieldGeneratorMap(const Descriptor* descriptor, |
| const Options& options, |
| MessageSCCAnalyzer* scc_analyzer) |
| : descriptor_(descriptor), field_generators_(descriptor->field_count()) { |
| // Construct all the FieldGenerators. |
| for (int i = 0; i < descriptor->field_count(); i++) { |
| field_generators_[i].reset( |
| MakeGenerator(descriptor->field(i), options, scc_analyzer)); |
| } |
| } |
| |
| FieldGenerator* FieldGeneratorMap::MakeGoogleInternalGenerator( |
| const FieldDescriptor* field, const Options& options, |
| MessageSCCAnalyzer* scc_analyzer) { |
| |
| return nullptr; |
| } |
| |
| FieldGenerator* FieldGeneratorMap::MakeGenerator( |
| const FieldDescriptor* field, const Options& options, |
| MessageSCCAnalyzer* scc_analyzer) { |
| FieldGenerator* generator = |
| MakeGoogleInternalGenerator(field, options, scc_analyzer); |
| if (generator) { |
| return generator; |
| } |
| |
| if (field->is_repeated()) { |
| switch (field->cpp_type()) { |
| case FieldDescriptor::CPPTYPE_MESSAGE: |
| if (field->is_map()) { |
| return new MapFieldGenerator(field, options, scc_analyzer); |
| } else { |
| return new RepeatedMessageFieldGenerator(field, options, |
| scc_analyzer); |
| } |
| case FieldDescriptor::CPPTYPE_STRING: |
| return new RepeatedStringFieldGenerator(field, options); |
| case FieldDescriptor::CPPTYPE_ENUM: |
| return new RepeatedEnumFieldGenerator(field, options); |
| default: |
| return new RepeatedPrimitiveFieldGenerator(field, options); |
| } |
| } else if (field->real_containing_oneof()) { |
| switch (field->cpp_type()) { |
| case FieldDescriptor::CPPTYPE_MESSAGE: |
| return new MessageOneofFieldGenerator(field, options, scc_analyzer); |
| case FieldDescriptor::CPPTYPE_STRING: |
| return new StringOneofFieldGenerator(field, options); |
| case FieldDescriptor::CPPTYPE_ENUM: |
| return new EnumOneofFieldGenerator(field, options); |
| default: |
| return new PrimitiveOneofFieldGenerator(field, options); |
| } |
| } else { |
| switch (field->cpp_type()) { |
| case FieldDescriptor::CPPTYPE_MESSAGE: |
| return new MessageFieldGenerator(field, options, scc_analyzer); |
| case FieldDescriptor::CPPTYPE_STRING: |
| return new StringFieldGenerator(field, options); |
| case FieldDescriptor::CPPTYPE_ENUM: |
| return new EnumFieldGenerator(field, options); |
| default: |
| return new PrimitiveFieldGenerator(field, options); |
| } |
| } |
| } |
| |
| FieldGeneratorMap::~FieldGeneratorMap() {} |
| |
| const FieldGenerator& FieldGeneratorMap::get( |
| const FieldDescriptor* field) const { |
| GOOGLE_CHECK_EQ(field->containing_type(), descriptor_); |
| return *field_generators_[field->index()]; |
| } |
| |
| } // namespace cpp |
| } // namespace compiler |
| } // namespace protobuf |
| } // namespace google |