1 // Protocol Buffers - Google's data interchange format
2 // Copyright 2008 Google Inc. All rights reserved.
3 //
4 // Use of this source code is governed by a BSD-style
5 // license that can be found in the LICENSE file or at
6 // https://developers.google.com/open-source/licenses/bsd
7
8 // Author: kenton@google.com (Kenton Varda)
9 // Based on original Protocol Buffers design by
10 // Sanjay Ghemawat, Jeff Dean, and others.
11 //
12 // This file contains classes which describe a type of protocol message.
13 // You can use a message's descriptor to learn at runtime what fields
14 // it contains and what the types of those fields are. The Message
15 // interface also allows you to dynamically access and modify individual
16 // fields by passing the FieldDescriptor of the field you are interested
17 // in.
18 //
19 // Most users will not care about descriptors, because they will write
20 // code specific to certain protocol types and will simply use the classes
21 // generated by the protocol compiler directly. Advanced users who want
22 // to operate on arbitrary types (not known at compile time) may want to
23 // read descriptors in order to learn about the contents of a message.
24 // A very small number of users will want to construct their own
25 // Descriptors, either because they are implementing Message manually or
26 // because they are writing something like the protocol compiler.
27 //
28 // For an example of how you might use descriptors, see the code example
29 // at the top of message.h.
30
31 #ifndef GOOGLE_PROTOBUF_DESCRIPTOR_H__
32 #define GOOGLE_PROTOBUF_DESCRIPTOR_H__
33
34 #include <atomic>
35 #include <cstdint>
36 #include <iterator>
37 #include <memory>
38 #include <string>
39 #include <utility>
40 #include <vector>
41
42 #include "google/protobuf/stubs/common.h"
43 #include "absl/base/attributes.h"
44 #include "absl/base/call_once.h"
45 #include "absl/container/btree_map.h"
46 #include "absl/container/flat_hash_map.h"
47 #include "absl/functional/any_invocable.h"
48 #include "absl/functional/function_ref.h"
49 #include "absl/log/absl_check.h"
50 #include "absl/log/absl_log.h"
51 #include "absl/strings/str_format.h"
52 #include "absl/strings/string_view.h"
53 #include "absl/synchronization/mutex.h"
54 #include "absl/types/optional.h"
55 #include "google/protobuf/descriptor_lite.h"
56 #include "google/protobuf/extension_set.h"
57 #include "google/protobuf/port.h"
58
59 // Must be included last.
60 #include "google/protobuf/port_def.inc"
61
62 #ifdef SWIG
63 #define PROTOBUF_EXPORT
64 #define PROTOBUF_IGNORE_DEPRECATION_START
65 #define PROTOBUF_IGNORE_DEPRECATION_STOP
66 #endif
67
68
69 namespace google {
70 namespace protobuf {
71 // Defined in this file.
72 class Descriptor;
73 class FieldDescriptor;
74 class OneofDescriptor;
75 class EnumDescriptor;
76 class EnumValueDescriptor;
77 class ServiceDescriptor;
78 class MethodDescriptor;
79 class FileDescriptor;
80 class DescriptorDatabase;
81 class DescriptorPool;
82
83 // Defined in descriptor.proto
84 #ifndef SWIG
85 enum Edition : int;
86 #else // !SWIG
87 typedef int Edition;
88 #endif // !SWIG
89 class DescriptorProto;
90 class DescriptorProto_ExtensionRange;
91 class FieldDescriptorProto;
92 class OneofDescriptorProto;
93 class EnumDescriptorProto;
94 class EnumValueDescriptorProto;
95 class ServiceDescriptorProto;
96 class MethodDescriptorProto;
97 class FileDescriptorProto;
98 class MessageOptions;
99 class FieldOptions;
100 class OneofOptions;
101 class EnumOptions;
102 class EnumValueOptions;
103 class ExtensionRangeOptions;
104 class ServiceOptions;
105 class MethodOptions;
106 class FileOptions;
107 class UninterpretedOption;
108 class FeatureSet;
109 class FeatureSetDefaults;
110 class SourceCodeInfo;
111
112 // Defined in message_lite.h
113 class MessageLite;
114
115 // Defined in message.h
116 class Message;
117 class Reflection;
118
119 // Defined in descriptor.cc
120 class DescriptorBuilder;
121 class FileDescriptorTables;
122 class Symbol;
123
124 // Defined in unknown_field_set.h.
125 class UnknownField;
126
127 // Defined in command_line_interface.cc
128 namespace compiler {
129 class CodeGenerator;
130 class CommandLineInterface;
131 namespace cpp {
132 // Defined in helpers.h
133 class Formatter;
134 } // namespace cpp
135 } // namespace compiler
136
137 namespace descriptor_unittest {
138 class DescriptorTest;
139 class ValidationErrorTest;
140 } // namespace descriptor_unittest
141
142 // Defined in printer.h
143 namespace io {
144 class Printer;
145 } // namespace io
146
147 // NB, all indices are zero-based.
148 struct SourceLocation {
149 int start_line;
150 int end_line;
151 int start_column;
152 int end_column;
153
154 // Doc comments found at the source location.
155 // See the comments in SourceCodeInfo.Location (descriptor.proto) for details.
156 std::string leading_comments;
157 std::string trailing_comments;
158 std::vector<std::string> leading_detached_comments;
159 };
160
161 // Options when generating machine-parsable output from a descriptor with
162 // DebugString().
163 struct DebugStringOptions {
164 // include original user comments as recorded in SourceLocation entries. N.B.
165 // that this must be |false| by default: several other pieces of code (for
166 // example, the C++ code generation for fields in the proto compiler) rely on
167 // DebugString() output being unobstructed by user comments.
168 bool include_comments;
169 // If true, elide the braced body in the debug string.
170 bool elide_group_body;
171 bool elide_oneof_body;
172
DebugStringOptionsDebugStringOptions173 DebugStringOptions()
174 : include_comments(false),
175 elide_group_body(false),
176 elide_oneof_body(false) {
177 }
178 };
179
180 // A class to handle the simplest cases of a lazily linked descriptor
181 // for a message type that isn't built at the time of cross linking,
182 // which is needed when a pool has lazily_build_dependencies_ set.
183 // Must be instantiated as mutable in a descriptor.
184 namespace internal {
185
186 // The classes in this file represent a significant memory footprint for the
187 // library. We make sure we are not accidentally making them larger by
188 // hardcoding the struct size for a specific platform. Use as:
189 //
190 // PROTOBUF_INTERNAL_CHECK_CLASS_SIZE(type, expected_size_in_x84-64);
191 //
192
193 #if !defined(PROTOBUF_INTERNAL_CHECK_CLASS_SIZE)
194 #define PROTOBUF_INTERNAL_CHECK_CLASS_SIZE(t, expected)
195 #endif
196
197 // `typedef` instead of `using` for SWIG
198 #if defined(PROTOBUF_FUTURE_STRING_VIEW_RETURN_TYPE)
199 typedef absl::string_view DescriptorStringView;
200 #else
201 typedef const std::string& DescriptorStringView;
202 #endif
203
204 class FlatAllocator;
205
206 class PROTOBUF_EXPORT LazyDescriptor {
207 public:
208 // Init function to be called at init time of a descriptor containing
209 // a LazyDescriptor.
Init()210 void Init() {
211 descriptor_ = nullptr;
212 once_ = nullptr;
213 }
214
215 // Sets the value of the descriptor if it is known during the descriptor
216 // building process. Not thread safe, should only be called during the
217 // descriptor build process. Should not be called after SetLazy has been
218 // called.
219 void Set(const Descriptor* descriptor);
220
221 // Sets the information needed to lazily cross link the descriptor at a later
222 // time, SetLazy is not thread safe, should be called only once at descriptor
223 // build time if the symbol wasn't found and building of the file containing
224 // that type is delayed because lazily_build_dependencies_ is set on the pool.
225 // Should not be called after Set() has been called.
226 void SetLazy(absl::string_view name, const FileDescriptor* file);
227
228 // Returns the current value of the descriptor, thread-safe. If SetLazy(...)
229 // has been called, will do a one-time cross link of the type specified,
230 // building the descriptor file that contains the type if necessary.
Get(const ServiceDescriptor * service)231 inline const Descriptor* Get(const ServiceDescriptor* service) {
232 Once(service);
233 return descriptor_;
234 }
235
236 private:
237 void Once(const ServiceDescriptor* service);
238
239 const Descriptor* descriptor_;
240 // The once_ flag is followed by a NUL terminated string for the type name.
241 absl::once_flag* once_;
242 };
243
244 class PROTOBUF_EXPORT SymbolBase {
245 private:
246 friend class google::protobuf::Symbol;
247 uint8_t symbol_type_;
248 };
249
250 // Some types have more than one SymbolBase because they have multiple
251 // identities in the table. We can't have duplicate direct bases, so we use this
252 // intermediate base to do so.
253 // See BuildEnumValue for details.
254 template <int N>
255 class PROTOBUF_EXPORT SymbolBaseN : public SymbolBase {};
256
257 // This class is for internal use only and provides access to the resolved
258 // runtime FeatureSets of any descriptor. These features are not designed
259 // to be stable, and depending directly on them (vs the public descriptor APIs)
260 // is not safe.
261 class PROTOBUF_EXPORT InternalFeatureHelper {
262 public:
263 template <typename DescriptorT>
GetFeatures(const DescriptorT & desc)264 static const FeatureSet& GetFeatures(const DescriptorT& desc) {
265 return desc.features();
266 }
267
268 private:
269 friend class ::google::protobuf::compiler::CodeGenerator;
270 friend class ::google::protobuf::compiler::CommandLineInterface;
271
272 // Provides a restricted view exclusively to code generators to query their
273 // own unresolved features. Unresolved features are virtually meaningless to
274 // everyone else. Code generators will need them to validate their own
275 // features, and runtimes may need them internally to be able to properly
276 // represent the original proto files from generated code.
277 template <typename DescriptorT, typename TypeTraitsT, uint8_t field_type,
278 bool is_packed>
GetUnresolvedFeatures(const DescriptorT & descriptor,const google::protobuf::internal::ExtensionIdentifier<FeatureSet,TypeTraitsT,field_type,is_packed> & extension)279 static typename TypeTraitsT::ConstType GetUnresolvedFeatures(
280 const DescriptorT& descriptor,
281 const google::protobuf::internal::ExtensionIdentifier<
282 FeatureSet, TypeTraitsT, field_type, is_packed>& extension) {
283 return descriptor.proto_features_->GetExtension(extension);
284 }
285
286 // Provides a restricted view exclusively to code generators to query the
287 // edition of files being processed. While most people should never write
288 // edition-dependent code, generators frequently will need to.
289 static Edition GetEdition(const FileDescriptor& desc);
290 };
291
292 PROTOBUF_EXPORT absl::string_view ShortEditionName(Edition edition);
293
294 bool IsEnumFullySequential(const EnumDescriptor* enum_desc);
295
296 const std::string& DefaultValueStringAsString(const FieldDescriptor* field);
297 const std::string& NameOfEnumAsString(const EnumValueDescriptor* descriptor);
298
299 } // namespace internal
300
301 // Provide an Abseil formatter for edition names.
302 template <typename Sink>
AbslStringify(Sink & sink,Edition edition)303 void AbslStringify(Sink& sink, Edition edition) {
304 absl::Format(&sink, "%v", internal::ShortEditionName(edition));
305 }
306
307 // Describes a type of protocol message, or a particular group within a
308 // message. To obtain the Descriptor for a given message object, call
309 // Message::GetDescriptor(). Generated message classes also have a
310 // static method called descriptor() which returns the type's descriptor.
311 // Use DescriptorPool to construct your own descriptors.
312 class PROTOBUF_EXPORT Descriptor : private internal::SymbolBase {
313 public:
314 typedef DescriptorProto Proto;
315 #ifndef SWIG
316 Descriptor(const Descriptor&) = delete;
317 Descriptor& operator=(const Descriptor&) = delete;
318 #endif
319
320 // The name of the message type, not including its scope.
321 internal::DescriptorStringView name() const;
322
323 // The fully-qualified name of the message type, scope delimited by
324 // periods. For example, message type "Foo" which is declared in package
325 // "bar" has full name "bar.Foo". If a type "Baz" is nested within
326 // Foo, Baz's full_name is "bar.Foo.Baz". To get only the part that
327 // comes after the last '.', use name().
328 internal::DescriptorStringView full_name() const;
329
330 // Index of this descriptor within the file or containing type's message
331 // type array.
332 int index() const;
333
334 // The .proto file in which this message type was defined. Never nullptr.
335 const FileDescriptor* file() const;
336
337 // If this Descriptor describes a nested type, this returns the type
338 // in which it is nested. Otherwise, returns nullptr.
339 const Descriptor* containing_type() const;
340
341 // Get options for this message type. These are specified in the .proto file
342 // by placing lines like "option foo = 1234;" in the message definition.
343 // Allowed options are defined by MessageOptions in descriptor.proto, and any
344 // available extensions of that message.
345 const MessageOptions& options() const;
346
347 // Write the contents of this Descriptor into the given DescriptorProto.
348 // The target DescriptorProto must be clear before calling this; if it
349 // isn't, the result may be garbage.
350 void CopyTo(DescriptorProto* proto) const;
351
352 // Fills in the message-level settings of this message (e.g. name, reserved
353 // fields, message options) to `proto`. This is essentially all of the
354 // metadata owned exclusively by this descriptor, and not any nested
355 // descriptors.
356 void CopyHeadingTo(DescriptorProto* proto) const;
357
358 // Write the contents of this descriptor in a human-readable form. Output
359 // will be suitable for re-parsing.
360 std::string DebugString() const;
361
362 // Similar to DebugString(), but additionally takes options (e.g.,
363 // include original user comments in output).
364 std::string DebugStringWithOptions(const DebugStringOptions& options) const;
365
366 // Allows formatting with absl and gtest.
367 template <typename Sink>
AbslStringify(Sink & sink,const Descriptor & d)368 friend void AbslStringify(Sink& sink, const Descriptor& d) {
369 absl::Format(&sink, "%s", d.DebugString());
370 }
371
372 // Returns true if this is a placeholder for an unknown type. This will
373 // only be the case if this descriptor comes from a DescriptorPool
374 // with AllowUnknownDependencies() set.
375 bool is_placeholder() const;
376
377 enum WellKnownType {
378 WELLKNOWNTYPE_UNSPECIFIED, // Not a well-known type.
379
380 // Wrapper types.
381 WELLKNOWNTYPE_DOUBLEVALUE, // google.protobuf.DoubleValue
382 WELLKNOWNTYPE_FLOATVALUE, // google.protobuf.FloatValue
383 WELLKNOWNTYPE_INT64VALUE, // google.protobuf.Int64Value
384 WELLKNOWNTYPE_UINT64VALUE, // google.protobuf.UInt64Value
385 WELLKNOWNTYPE_INT32VALUE, // google.protobuf.Int32Value
386 WELLKNOWNTYPE_UINT32VALUE, // google.protobuf.UInt32Value
387 WELLKNOWNTYPE_STRINGVALUE, // google.protobuf.StringValue
388 WELLKNOWNTYPE_BYTESVALUE, // google.protobuf.BytesValue
389 WELLKNOWNTYPE_BOOLVALUE, // google.protobuf.BoolValue
390
391 // Other well known types.
392 WELLKNOWNTYPE_ANY, // google.protobuf.Any
393 WELLKNOWNTYPE_FIELDMASK, // google.protobuf.FieldMask
394 WELLKNOWNTYPE_DURATION, // google.protobuf.Duration
395 WELLKNOWNTYPE_TIMESTAMP, // google.protobuf.Timestamp
396 WELLKNOWNTYPE_VALUE, // google.protobuf.Value
397 WELLKNOWNTYPE_LISTVALUE, // google.protobuf.ListValue
398 WELLKNOWNTYPE_STRUCT, // google.protobuf.Struct
399
400 // New well-known types may be added in the future.
401 // Please make sure any switch() statements have a 'default' case.
402 __WELLKNOWNTYPE__DO_NOT_USE__ADD_DEFAULT_INSTEAD__,
403 };
404
405 WellKnownType well_known_type() const;
406
407 // Field stuff -----------------------------------------------------
408
409 // The number of fields in this message type.
410 int field_count() const;
411 // Gets a field by index, where 0 <= index < field_count().
412 // These are returned in the order they were defined in the .proto file.
413 const FieldDescriptor* field(int index) const;
414
415 // Looks up a field by declared tag number. Returns nullptr if no such field
416 // exists.
417 const FieldDescriptor* FindFieldByNumber(int number) const;
418 // Looks up a field by name. Returns nullptr if no such field exists.
419 const FieldDescriptor* FindFieldByName(absl::string_view name) const;
420
421 // Looks up a field by lowercased name (as returned by lowercase_name()).
422 // This lookup may be ambiguous if multiple field names differ only by case,
423 // in which case the field returned is chosen arbitrarily from the matches.
424 const FieldDescriptor* FindFieldByLowercaseName(
425 absl::string_view lowercase_name) const;
426
427 // Looks up a field by camel-case name (as returned by camelcase_name()).
428 // This lookup may be ambiguous if multiple field names differ in a way that
429 // leads them to have identical camel-case names, in which case the field
430 // returned is chosen arbitrarily from the matches.
431 const FieldDescriptor* FindFieldByCamelcaseName(
432 absl::string_view camelcase_name) const;
433
434 // The number of oneofs in this message type.
435 int oneof_decl_count() const;
436 // The number of oneofs in this message type, excluding synthetic oneofs.
437 // Real oneofs always come first, so iterating up to real_oneof_decl_cout()
438 // will yield all real oneofs.
439 int real_oneof_decl_count() const;
440 // Get a oneof by index, where 0 <= index < oneof_decl_count().
441 // These are returned in the order they were defined in the .proto file.
442 const OneofDescriptor* oneof_decl(int index) const;
443 // Get a oneof by index, excluding synthetic oneofs, where 0 <= index <
444 // real_oneof_decl_count(). These are returned in the order they were defined
445 // in the .proto file.
446 const OneofDescriptor* real_oneof_decl(int index) const;
447
448 // Looks up a oneof by name. Returns nullptr if no such oneof exists.
449 const OneofDescriptor* FindOneofByName(absl::string_view name) const;
450
451 // Nested type stuff -----------------------------------------------
452
453 // The number of nested types in this message type.
454 int nested_type_count() const;
455 // Gets a nested type by index, where 0 <= index < nested_type_count().
456 // These are returned in the order they were defined in the .proto file.
457 const Descriptor* nested_type(int index) const;
458
459 // Looks up a nested type by name. Returns nullptr if no such nested type
460 // exists.
461 const Descriptor* FindNestedTypeByName(absl::string_view name) const;
462
463 // Enum stuff ------------------------------------------------------
464
465 // The number of enum types in this message type.
466 int enum_type_count() const;
467 // Gets an enum type by index, where 0 <= index < enum_type_count().
468 // These are returned in the order they were defined in the .proto file.
469 const EnumDescriptor* enum_type(int index) const;
470
471 // Looks up an enum type by name. Returns nullptr if no such enum type
472 // exists.
473 const EnumDescriptor* FindEnumTypeByName(absl::string_view name) const;
474
475 // Looks up an enum value by name, among all enum types in this message.
476 // Returns nullptr if no such value exists.
477 const EnumValueDescriptor* FindEnumValueByName(absl::string_view name) const;
478
479 // Extensions ------------------------------------------------------
480
481 // A range of field numbers which are designated for third-party
482 // extensions.
483 class PROTOBUF_EXPORT ExtensionRange {
484 public:
485 typedef DescriptorProto_ExtensionRange Proto;
486
487 typedef ExtensionRangeOptions OptionsType;
488
489 // See Descriptor::CopyTo().
490 void CopyTo(DescriptorProto_ExtensionRange* proto) const;
491
492 // Returns the start field number of this range (inclusive).
start_number()493 int start_number() const { return start_; }
494
495 // Returns the end field number of this range (exclusive).
end_number()496 int end_number() const { return end_; }
497
498 // Returns the index of this extension range within the message's extension
499 // range array.
500 int index() const;
501
502 // Returns the ExtensionRangeOptions for this range.
options()503 const ExtensionRangeOptions& options() const { return *options_; }
504
505 // Returns the name of the containing type.
name()506 internal::DescriptorStringView name() const {
507 return containing_type_->name();
508 }
509
510 // Returns the full name of the containing type.
full_name()511 internal::DescriptorStringView full_name() const {
512 return containing_type_->full_name();
513 }
514
515 // Returns the .proto file in which this range was defined.
516 // Never nullptr.
file()517 const FileDescriptor* file() const { return containing_type_->file(); }
518
519 // Returns the Descriptor for the message containing this range.
520 // Never nullptr.
containing_type()521 const Descriptor* containing_type() const { return containing_type_; }
522
523 private:
524 int start_;
525 int end_;
526 const ExtensionRangeOptions* options_;
527
528 private:
529 const Descriptor* containing_type_;
530 const FeatureSet* proto_features_;
531 const FeatureSet* merged_features_;
532
533 // Get the merged features that apply to this extension range. These are
534 // specified in the .proto file through the feature options in the message
535 // definition. Allowed features are defined by Features in descriptor.proto,
536 // along with any backend-specific extensions to it.
features()537 const FeatureSet& features() const { return *merged_features_; }
538 friend class internal::InternalFeatureHelper;
539
540 // Walks up the descriptor tree to generate the source location path
541 // to this descriptor from the file root.
542 void GetLocationPath(std::vector<int>* output) const;
543
544 friend class Descriptor;
545 friend class DescriptorPool;
546 friend class DescriptorBuilder;
547 };
548
549 // The number of extension ranges in this message type.
550 int extension_range_count() const;
551 // Gets an extension range by index, where 0 <= index <
552 // extension_range_count(). These are returned in the order they were defined
553 // in the .proto file.
554 const ExtensionRange* extension_range(int index) const;
555
556 // Returns true if the number is in one of the extension ranges.
557 bool IsExtensionNumber(int number) const;
558
559 // Returns nullptr if no extension range contains the given number.
560 const ExtensionRange* FindExtensionRangeContainingNumber(int number) const;
561
562 // The number of extensions defined nested within this message type's scope.
563 // See doc:
564 // https://developers.google.com/protocol-buffers/docs/proto#nested-extensions
565 //
566 // Note that the extensions may be extending *other* messages.
567 //
568 // For example:
569 // message M1 {
570 // extensions 1 to max;
571 // }
572 //
573 // message M2 {
574 // extend M1 {
575 // optional int32 foo = 1;
576 // }
577 // }
578 //
579 // In this case,
580 // DescriptorPool::generated_pool()
581 // ->FindMessageTypeByName("M2")
582 // ->extension(0)
583 // will return "foo", even though "foo" is an extension of M1.
584 // To find all known extensions of a given message, instead use
585 // DescriptorPool::FindAllExtensions.
586 int extension_count() const;
587 // Get an extension by index, where 0 <= index < extension_count().
588 // These are returned in the order they were defined in the .proto file.
589 const FieldDescriptor* extension(int index) const;
590
591 // Looks up a named extension (which extends some *other* message type)
592 // defined within this message type's scope.
593 const FieldDescriptor* FindExtensionByName(absl::string_view name) const;
594
595 // Similar to FindFieldByLowercaseName(), but finds extensions defined within
596 // this message type's scope.
597 const FieldDescriptor* FindExtensionByLowercaseName(
598 absl::string_view name) const;
599
600 // Similar to FindFieldByCamelcaseName(), but finds extensions defined within
601 // this message type's scope.
602 const FieldDescriptor* FindExtensionByCamelcaseName(
603 absl::string_view name) const;
604
605 // Reserved fields -------------------------------------------------
606
607 // A range of reserved field numbers.
608 struct ReservedRange {
609 int start; // inclusive
610 int end; // exclusive
611 };
612
613 // The number of reserved ranges in this message type.
614 int reserved_range_count() const;
615 // Gets an reserved range by index, where 0 <= index <
616 // reserved_range_count(). These are returned in the order they were defined
617 // in the .proto file.
618 const ReservedRange* reserved_range(int index) const;
619
620 // Returns true if the number is in one of the reserved ranges.
621 bool IsReservedNumber(int number) const;
622
623 // Returns nullptr if no reserved range contains the given number.
624 const ReservedRange* FindReservedRangeContainingNumber(int number) const;
625
626 // The number of reserved field names in this message type.
627 int reserved_name_count() const;
628
629 // Gets a reserved name by index, where 0 <= index < reserved_name_count().
630 internal::DescriptorStringView reserved_name(int index) const;
631
632 // Returns true if the field name is reserved.
633 bool IsReservedName(absl::string_view name) const;
634
635 // Source Location ---------------------------------------------------
636
637 // Updates |*out_location| to the source location of the complete
638 // extent of this message declaration. Returns false and leaves
639 // |*out_location| unchanged iff location information was not available.
640 bool GetSourceLocation(SourceLocation* out_location) const;
641
642 // Maps --------------------------------------------------------------
643
644 // Returns the FieldDescriptor for the "key" field. If this isn't a map entry
645 // field, returns nullptr.
646 const FieldDescriptor* map_key() const;
647
648 // Returns the FieldDescriptor for the "value" field. If this isn't a map
649 // entry field, returns nullptr.
650 const FieldDescriptor* map_value() const;
651
652 private:
653 friend class Symbol;
654 typedef MessageOptions OptionsType;
655
656 // Allows tests to test CopyTo(proto, true).
657 friend class descriptor_unittest::DescriptorTest;
658
659 // Allows access to GetLocationPath for annotations.
660 friend class io::Printer;
661 friend class compiler::cpp::Formatter;
662
663 // Get the merged features that apply to this message type. These are
664 // specified in the .proto file through the feature options in the message
665 // definition. Allowed features are defined by Features in descriptor.proto,
666 // along with any backend-specific extensions to it.
features()667 const FeatureSet& features() const { return *merged_features_; }
668 friend class internal::InternalFeatureHelper;
669
670 // Fill the json_name field of FieldDescriptorProto.
671 void CopyJsonNameTo(DescriptorProto* proto) const;
672
673 // Internal version of DebugString; controls the level of indenting for
674 // correct depth. Takes |options| to control debug-string options, and
675 // |include_opening_clause| to indicate whether the "message ... " part of the
676 // clause has already been generated (this varies depending on context).
677 void DebugString(int depth, std::string* contents,
678 const DebugStringOptions& options,
679 bool include_opening_clause) const;
680
681 // Walks up the descriptor tree to generate the source location path
682 // to this descriptor from the file root.
683 void GetLocationPath(std::vector<int>* output) const;
684
685 // True if this is a placeholder for an unknown type.
686 bool is_placeholder_ : 1;
687 // True if this is a placeholder and the type name wasn't fully-qualified.
688 bool is_unqualified_placeholder_ : 1;
689 // Well known type. Stored like this to conserve space.
690 uint8_t well_known_type_ : 5;
691
692 // This points to the last field _number_ that is part of the sequence
693 // starting at 1, where
694 // `desc->field(i)->number() == i + 1`
695 // A value of `0` means no field matches. That is, there are no fields or the
696 // first field is not field `1`.
697 // Uses 16-bit to avoid extra padding. Unlikely to have more than 2^16
698 // sequentially numbered fields in a message.
699 uint16_t sequential_field_limit_;
700
701 int field_count_;
702
703 // all_names_ = [name, full_name]
704 const std::string* all_names_;
705 const FileDescriptor* file_;
706 const Descriptor* containing_type_;
707 const MessageOptions* options_;
708 const FeatureSet* proto_features_;
709 const FeatureSet* merged_features_;
710
711 // These arrays are separated from their sizes to minimize padding on 64-bit.
712 FieldDescriptor* fields_;
713 OneofDescriptor* oneof_decls_;
714 Descriptor* nested_types_;
715 EnumDescriptor* enum_types_;
716 ExtensionRange* extension_ranges_;
717 FieldDescriptor* extensions_;
718 ReservedRange* reserved_ranges_;
719 const std::string** reserved_names_;
720
721 int oneof_decl_count_;
722 int real_oneof_decl_count_;
723 int nested_type_count_;
724 int enum_type_count_;
725 int extension_range_count_;
726 int extension_count_;
727 int reserved_range_count_;
728 int reserved_name_count_;
729
730 // IMPORTANT: If you add a new field, make sure to search for all instances
731 // of Allocate<Descriptor>() and AllocateArray<Descriptor>() in descriptor.cc
732 // and update them to initialize the field.
733
734 // Must be constructed using DescriptorPool.
735 Descriptor();
736 friend class DescriptorBuilder;
737 friend class DescriptorPool;
738 friend class EnumDescriptor;
739 friend class FieldDescriptor;
740 friend class FileDescriptorTables;
741 friend class OneofDescriptor;
742 friend class MethodDescriptor;
743 friend class FileDescriptor;
744 };
745
746 PROTOBUF_INTERNAL_CHECK_CLASS_SIZE(Descriptor, 152);
747
748 // Describes a single field of a message. To get the descriptor for a given
749 // field, first get the Descriptor for the message in which it is defined,
750 // then call Descriptor::FindFieldByName(). To get a FieldDescriptor for
751 // an extension, do one of the following:
752 // - Get the Descriptor or FileDescriptor for its containing scope, then
753 // call Descriptor::FindExtensionByName() or
754 // FileDescriptor::FindExtensionByName().
755 // - Given a DescriptorPool, call DescriptorPool::FindExtensionByNumber() or
756 // DescriptorPool::FindExtensionByPrintableName().
757 // Use DescriptorPool to construct your own descriptors.
758 class PROTOBUF_EXPORT FieldDescriptor : private internal::SymbolBase,
759 public internal::FieldDescriptorLite {
760 public:
761 typedef FieldDescriptorProto Proto;
762
763 #ifndef SWIG
764 FieldDescriptor(const FieldDescriptor&) = delete;
765 FieldDescriptor& operator=(const FieldDescriptor&) = delete;
766 #endif
767
768 // Identifies a field type. 0 is reserved for errors. The order is weird
769 // for historical reasons. Types 12 and up are new in proto2.
770 // Inherited from FieldDescriptorLite:
771 // enum Type {
772 // TYPE_DOUBLE = 1, // double, exactly eight bytes on the wire.
773 // TYPE_FLOAT = 2, // float, exactly four bytes on the wire.
774 // TYPE_INT64 = 3, // int64, varint on the wire. Negative numbers
775 // // take 10 bytes. Use TYPE_SINT64 if negative
776 // // values are likely.
777 // TYPE_UINT64 = 4, // uint64, varint on the wire.
778 // TYPE_INT32 = 5, // int32, varint on the wire. Negative numbers
779 // // take 10 bytes. Use TYPE_SINT32 if negative
780 // // values are likely.
781 // TYPE_FIXED64 = 6, // uint64, exactly eight bytes on the wire.
782 // TYPE_FIXED32 = 7, // uint32, exactly four bytes on the wire.
783 // TYPE_BOOL = 8, // bool, varint on the wire.
784 // TYPE_STRING = 9, // UTF-8 text.
785 // TYPE_GROUP = 10, // Tag-delimited message. Deprecated.
786 // TYPE_MESSAGE = 11, // Length-delimited message.
787
788 // TYPE_BYTES = 12, // Arbitrary byte array.
789 // TYPE_UINT32 = 13, // uint32, varint on the wire
790 // TYPE_ENUM = 14, // Enum, varint on the wire
791 // TYPE_SFIXED32 = 15, // int32, exactly four bytes on the wire
792 // TYPE_SFIXED64 = 16, // int64, exactly eight bytes on the wire
793 // TYPE_SINT32 = 17, // int32, ZigZag-encoded varint on the wire
794 // TYPE_SINT64 = 18, // int64, ZigZag-encoded varint on the wire
795
796 // MAX_TYPE = 18, // Constant useful for defining lookup tables
797 // // indexed by Type.
798 // };
799
800 // Specifies the C++ data type used to represent the field. There is a
801 // fixed mapping from Type to CppType where each Type maps to exactly one
802 // CppType. 0 is reserved for errors.
803 // Inherited from FieldDescriptorLite:
804 // enum CppType {
805 // CPPTYPE_INT32 = 1, // TYPE_INT32, TYPE_SINT32, TYPE_SFIXED32
806 // CPPTYPE_INT64 = 2, // TYPE_INT64, TYPE_SINT64, TYPE_SFIXED64
807 // CPPTYPE_UINT32 = 3, // TYPE_UINT32, TYPE_FIXED32
808 // CPPTYPE_UINT64 = 4, // TYPE_UINT64, TYPE_FIXED64
809 // CPPTYPE_DOUBLE = 5, // TYPE_DOUBLE
810 // CPPTYPE_FLOAT = 6, // TYPE_FLOAT
811 // CPPTYPE_BOOL = 7, // TYPE_BOOL
812 // CPPTYPE_ENUM = 8, // TYPE_ENUM
813 // CPPTYPE_STRING = 9, // TYPE_STRING, TYPE_BYTES
814 // CPPTYPE_MESSAGE = 10, // TYPE_MESSAGE, TYPE_GROUP
815
816 // MAX_CPPTYPE = 10, // Constant useful for defining lookup tables
817 // // indexed by CppType.
818 // };
819
820 // Identifies whether the field is optional, required, or repeated. 0 is
821 // reserved for errors.
822 // Inherited from FieldDescriptorLite:
823 // enum Label {
824 // LABEL_OPTIONAL = 1, // optional
825 // LABEL_REQUIRED = 2, // required
826 // LABEL_REPEATED = 3, // repeated
827
828 // MAX_LABEL = 3, // Constant useful for defining lookup tables
829 // // indexed by Label.
830 // };
831
832 // Valid field numbers are positive integers up to kMaxNumber.
833 static const int kMaxNumber = (1 << 29) - 1;
834
835 // First field number reserved for the protocol buffer library implementation.
836 // Users may not declare fields that use reserved numbers.
837 static const int kFirstReservedNumber = 19000;
838 // Last field number reserved for the protocol buffer library implementation.
839 // Users may not declare fields that use reserved numbers.
840 static const int kLastReservedNumber = 19999;
841
842 // Name of this field within the message.
843 internal::DescriptorStringView name() const;
844 // Fully-qualified name of the field.
845 internal::DescriptorStringView full_name() const;
846 // JSON name of this field.
847 internal::DescriptorStringView json_name() const;
848
849 const FileDescriptor* file() const; // File in which this field was defined.
850 bool is_extension() const; // Is this an extension field?
851 int number() const; // Declared tag number.
852
853 // Same as name() except converted to lower-case. This (and especially the
854 // FindFieldByLowercaseName() method) can be useful when parsing formats
855 // which prefer to use lowercase naming style. (Although, technically
856 // field names should be lowercased anyway according to the protobuf style
857 // guide, so this only makes a difference when dealing with old .proto files
858 // which do not follow the guide.)
859 internal::DescriptorStringView lowercase_name() const;
860
861 // Same as name() except converted to camel-case. In this conversion, any
862 // time an underscore appears in the name, it is removed and the next
863 // letter is capitalized. Furthermore, the first letter of the name is
864 // lower-cased. Examples:
865 // FooBar -> fooBar
866 // foo_bar -> fooBar
867 // fooBar -> fooBar
868 // This (and especially the FindFieldByCamelcaseName() method) can be useful
869 // when parsing formats which prefer to use camel-case naming style.
870 internal::DescriptorStringView camelcase_name() const;
871
872 Type type() const; // Declared type of this field.
873 const char* type_name() const; // Name of the declared type.
874 CppType cpp_type() const; // C++ type of this field.
875 const char* cpp_type_name() const; // Name of the C++ type.
876 Label label() const; // optional/required/repeated
877
878 #ifndef SWIG
879 CppStringType cpp_string_type() const; // The C++ string type of this field.
880 #endif
881
882 bool is_required() const; // shorthand for label() == LABEL_REQUIRED
883 bool is_optional() const; // shorthand for label() == LABEL_OPTIONAL
884 bool is_repeated() const; // shorthand for label() == LABEL_REPEATED
885 bool is_packable() const; // shorthand for is_repeated() &&
886 // IsTypePackable(type())
887 bool is_map() const; // shorthand for type() == TYPE_MESSAGE &&
888 // message_type()->options().map_entry()
889
890 // Whether or not this field is packable and packed. In proto2, packable
891 // fields must have `packed = true` specified. In proto3, all packable fields
892 // are packed by default unless `packed = false` is specified.
893 bool is_packed() const;
894
895 // Returns true if this field tracks presence, ie. does the field
896 // distinguish between "unset" and "present with default value."
897 // This includes required, optional, and oneof fields. It excludes maps,
898 // repeated fields, and singular proto3 fields without "optional".
899 //
900 // For fields where has_presence() == true, the return value of
901 // Reflection::HasField() is semantically meaningful.
902 bool has_presence() const;
903
904 // Returns true if this TYPE_STRING-typed field requires UTF-8 validation on
905 // parse.
906 bool requires_utf8_validation() const;
907
908 // Determines if the given enum field is treated as closed based on legacy
909 // non-conformant behavior.
910 //
911 // Conformant behavior determines closedness based on the enum and
912 // can be queried using EnumDescriptor::is_closed().
913 //
914 // Some runtimes currently have a quirk where non-closed enums are
915 // treated as closed when used as the type of fields defined in a
916 // `syntax = proto2;` file. This quirk is not present in all runtimes; as of
917 // writing, we know that:
918 //
919 // - C++, Java, and C++-based Python share this quirk.
920 // - UPB and UPB-based Python do not.
921 // - PHP and Ruby treat all enums as open regardless of declaration.
922 //
923 // Care should be taken when using this function to respect the target
924 // runtime's enum handling quirks.
925 bool legacy_enum_field_treated_as_closed() const;
926
927 // Index of this field within the message's field array, or the file or
928 // extension scope's extensions array.
929 int index() const;
930
931 // Does this field have an explicitly-declared default value?
932 bool has_default_value() const;
933
934 // Whether the user has specified the json_name field option in the .proto
935 // file.
936 bool has_json_name() const;
937
938 // Get the field default value if cpp_type() == CPPTYPE_INT32. If no
939 // explicit default was defined, the default is 0.
940 int32_t default_value_int32_t() const;
default_value_int32()941 int32_t default_value_int32() const { return default_value_int32_t(); }
942 // Get the field default value if cpp_type() == CPPTYPE_INT64. If no
943 // explicit default was defined, the default is 0.
944 int64_t default_value_int64_t() const;
default_value_int64()945 int64_t default_value_int64() const { return default_value_int64_t(); }
946 // Get the field default value if cpp_type() == CPPTYPE_UINT32. If no
947 // explicit default was defined, the default is 0.
948 uint32_t default_value_uint32_t() const;
default_value_uint32()949 uint32_t default_value_uint32() const { return default_value_uint32_t(); }
950 // Get the field default value if cpp_type() == CPPTYPE_UINT64. If no
951 // explicit default was defined, the default is 0.
952 uint64_t default_value_uint64_t() const;
default_value_uint64()953 uint64_t default_value_uint64() const { return default_value_uint64_t(); }
954 // Get the field default value if cpp_type() == CPPTYPE_FLOAT. If no
955 // explicit default was defined, the default is 0.0.
956 float default_value_float() const;
957 // Get the field default value if cpp_type() == CPPTYPE_DOUBLE. If no
958 // explicit default was defined, the default is 0.0.
959 double default_value_double() const;
960 // Get the field default value if cpp_type() == CPPTYPE_BOOL. If no
961 // explicit default was defined, the default is false.
962 bool default_value_bool() const;
963 // Get the field default value if cpp_type() == CPPTYPE_ENUM. If no
964 // explicit default was defined, the default is the first value defined
965 // in the enum type (all enum types are required to have at least one value).
966 // This never returns nullptr.
967 const EnumValueDescriptor* default_value_enum() const;
968 // Get the field default value if cpp_type() == CPPTYPE_STRING. If no
969 // explicit default was defined, the default is the empty string.
970 internal::DescriptorStringView default_value_string() const;
971
972 // The Descriptor for the message of which this is a field. For extensions,
973 // this is the extended type. Never nullptr.
974 const Descriptor* containing_type() const;
975
976 // If the field is a member of a oneof, this is the one, otherwise this is
977 // nullptr.
978 const OneofDescriptor* containing_oneof() const;
979
980 // If the field is a member of a non-synthetic oneof, returns the descriptor
981 // for the oneof, otherwise returns nullptr.
982 const OneofDescriptor* real_containing_oneof() const;
983
984 // If the field is a member of a oneof, returns the index in that oneof.
985 int index_in_oneof() const;
986
987 // An extension may be declared within the scope of another message. If this
988 // field is an extension (is_extension() is true), then extension_scope()
989 // returns that message, or nullptr if the extension was declared at global
990 // scope. If this is not an extension, extension_scope() is undefined (may
991 // assert-fail).
992 const Descriptor* extension_scope() const;
993
994 // If type is TYPE_MESSAGE or TYPE_GROUP, returns a descriptor for the
995 // message or the group type. Otherwise, returns null.
996 const Descriptor* message_type() const;
997 // If type is TYPE_ENUM, returns a descriptor for the enum. Otherwise,
998 // returns null.
999 const EnumDescriptor* enum_type() const;
1000
1001 // Get the FieldOptions for this field. This includes things listed in
1002 // square brackets after the field definition. E.g., the field:
1003 // optional string text = 1 [ctype=CORD];
1004 // has the "ctype" option set. Allowed options are defined by FieldOptions in
1005 // descriptor.proto, and any available extensions of that message.
1006 const FieldOptions& options() const;
1007
1008 // See Descriptor::CopyTo().
1009 void CopyTo(FieldDescriptorProto* proto) const;
1010
1011 // See Descriptor::DebugString().
1012 std::string DebugString() const;
1013
1014 // See Descriptor::DebugStringWithOptions().
1015 std::string DebugStringWithOptions(const DebugStringOptions& options) const;
1016
1017 // Allows formatting with absl and gtest.
1018 template <typename Sink>
AbslStringify(Sink & sink,const FieldDescriptor & d)1019 friend void AbslStringify(Sink& sink, const FieldDescriptor& d) {
1020 absl::Format(&sink, "%s", d.DebugString());
1021 }
1022
1023 // Helper method to get the CppType for a particular Type.
1024 static CppType TypeToCppType(Type type);
1025
1026 // Helper method to get the name of a Type.
1027 static const char* TypeName(Type type);
1028
1029 // Helper method to get the name of a CppType.
1030 static const char* CppTypeName(CppType cpp_type);
1031
1032 // Return true iff [packed = true] is valid for fields of this type.
1033 static inline bool IsTypePackable(Type field_type);
1034
1035 // Returns full_name() except if the field is a MessageSet extension,
1036 // in which case it returns the full_name() of the containing message type
1037 // for backwards compatibility with proto1.
1038 //
1039 // A MessageSet extension is defined as an optional message extension
1040 // whose containing type has the message_set_wire_format option set.
1041 // This should be true of extensions of google.protobuf.bridge.MessageSet;
1042 // by convention, such extensions are named "message_set_extension".
1043 //
1044 // The opposite operation (looking up an extension's FieldDescriptor given
1045 // its printable name) can be accomplished with
1046 // message->file()->pool()->FindExtensionByPrintableName(message, name)
1047 // where the extension extends "message".
1048 internal::DescriptorStringView PrintableNameForExtension() const;
1049
1050 // Source Location ---------------------------------------------------
1051
1052 // Updates |*out_location| to the source location of the complete
1053 // extent of this field declaration. Returns false and leaves
1054 // |*out_location| unchanged iff location information was not available.
1055 bool GetSourceLocation(SourceLocation* out_location) const;
1056
1057 private:
1058 friend class Symbol;
1059 typedef FieldOptions OptionsType;
1060
1061 // Allows access to GetLocationPath for annotations.
1062 friend class io::Printer;
1063 friend class compiler::cpp::Formatter;
1064 friend class Reflection;
1065 friend class FieldDescriptorLegacy;
1066 friend const std::string& internal::DefaultValueStringAsString(
1067 const FieldDescriptor* field);
1068
1069 // Returns true if this field was syntactically written with "optional" in the
1070 // .proto file. Excludes singular proto3 fields that do not have a label.
1071 bool has_optional_keyword() const;
1072
1073 // Get the merged features that apply to this field. These are specified in
1074 // the .proto file through the feature options in the message definition.
1075 // Allowed features are defined by Features in descriptor.proto, along with
1076 // any backend-specific extensions to it.
features()1077 const FeatureSet& features() const { return *merged_features_; }
1078 friend class internal::InternalFeatureHelper;
1079
1080 // Fill the json_name field of FieldDescriptorProto.
1081 void CopyJsonNameTo(FieldDescriptorProto* proto) const;
1082
1083 // See Descriptor::DebugString().
1084 void DebugString(int depth, std::string* contents,
1085 const DebugStringOptions& options) const;
1086
1087 // formats the default value appropriately and returns it as a string.
1088 // Must have a default value to call this. If quote_string_type is true, then
1089 // types of CPPTYPE_STRING will be surrounded by quotes and CEscaped.
1090 std::string DefaultValueAsString(bool quote_string_type) const;
1091
1092 // Helper function that returns the field type name for DebugString.
1093 std::string FieldTypeNameDebugString() const;
1094
1095 // Walks up the descriptor tree to generate the source location path
1096 // to this descriptor from the file root.
1097 void GetLocationPath(std::vector<int>* output) const;
1098
1099 // Returns true if this is a map message type.
1100 bool is_map_message_type() const;
1101
1102 bool has_default_value_ : 1;
1103 bool proto3_optional_ : 1;
1104 // Whether the user has specified the json_name field option in the .proto
1105 // file.
1106 bool has_json_name_ : 1;
1107 bool is_extension_ : 1;
1108 bool is_oneof_ : 1;
1109 bool is_repeated_ : 1; // Redundant with label_, but it is queried a lot.
1110
1111 // Actually a `Label` but stored as uint8_t to save space.
1112 uint8_t label_ : 2;
1113
1114 // Actually a `Type`, but stored as uint8_t to save space.
1115 uint8_t type_;
1116
1117 // Logically:
1118 // all_names_ = [name, full_name, lower, camel, json]
1119 // However:
1120 // duplicates will be omitted, so lower/camel/json might be in the same
1121 // position.
1122 // We store the true offset for each name here, and the bit width must be
1123 // large enough to account for the worst case where all names are present.
1124 uint8_t lowercase_name_index_ : 2;
1125 uint8_t camelcase_name_index_ : 2;
1126 uint8_t json_name_index_ : 3;
1127
1128 // Can be calculated from containing_oneof(), but we cache it for performance.
1129 // Located here for bitpacking.
1130 bool in_real_oneof_ : 1;
1131
1132 // Sadly, `number_` located here to reduce padding. Unrelated to all_names_
1133 // and its indices above.
1134 int number_;
1135 const std::string* all_names_;
1136 const FileDescriptor* file_;
1137
1138 // The once_flag is followed by a NUL terminated string for the type name and
1139 // enum default value (or empty string if no default enum).
1140 absl::once_flag* type_once_;
1141 static void TypeOnceInit(const FieldDescriptor* to_init);
1142 void InternalTypeOnceInit() const;
1143 const Descriptor* containing_type_;
1144 union {
1145 const OneofDescriptor* containing_oneof;
1146 const Descriptor* extension_scope;
1147 } scope_;
1148 union {
1149 mutable const Descriptor* message_type;
1150 mutable const EnumDescriptor* enum_type;
1151 } type_descriptor_;
1152 const FieldOptions* options_;
1153 const FeatureSet* proto_features_;
1154 const FeatureSet* merged_features_;
1155 // IMPORTANT: If you add a new field, make sure to search for all instances
1156 // of Allocate<FieldDescriptor>() and AllocateArray<FieldDescriptor>() in
1157 // descriptor.cc and update them to initialize the field.
1158
1159 union {
1160 int32_t default_value_int32_t_;
1161 int64_t default_value_int64_t_;
1162 uint32_t default_value_uint32_t_;
1163 uint64_t default_value_uint64_t_;
1164 float default_value_float_;
1165 double default_value_double_;
1166 bool default_value_bool_;
1167
1168 mutable const EnumValueDescriptor* default_value_enum_;
1169 const std::string* default_value_string_;
1170 mutable std::atomic<const Message*> default_generated_instance_;
1171 };
1172
1173 static const CppType kTypeToCppTypeMap[MAX_TYPE + 1];
1174
1175 static const char* const kTypeToName[MAX_TYPE + 1];
1176
1177 static const char* const kCppTypeToName[MAX_CPPTYPE + 1];
1178
1179 static const char* const kLabelToName[MAX_LABEL + 1];
1180
1181 // Must be constructed using DescriptorPool.
1182 FieldDescriptor();
1183 friend class DescriptorBuilder;
1184 friend class FileDescriptor;
1185 friend class Descriptor;
1186 friend class OneofDescriptor;
1187 };
1188
1189 PROTOBUF_INTERNAL_CHECK_CLASS_SIZE(FieldDescriptor, 88);
1190
1191 // Describes a oneof defined in a message type.
1192 class PROTOBUF_EXPORT OneofDescriptor : private internal::SymbolBase {
1193 public:
1194 typedef OneofDescriptorProto Proto;
1195
1196 #ifndef SWIG
1197 OneofDescriptor(const OneofDescriptor&) = delete;
1198 OneofDescriptor& operator=(const OneofDescriptor&) = delete;
1199 #endif
1200
1201 // Name of this oneof.
1202 internal::DescriptorStringView name() const;
1203 // Fully-qualified name of the oneof.
1204 internal::DescriptorStringView full_name() const;
1205
1206 // Index of this oneof within the message's oneof array.
1207 int index() const;
1208
1209 // The .proto file in which this oneof was defined. Never nullptr.
1210 const FileDescriptor* file() const;
1211 // The Descriptor for the message containing this oneof.
1212 const Descriptor* containing_type() const;
1213
1214 // The number of (non-extension) fields which are members of this oneof.
1215 int field_count() const;
1216 // Get a member of this oneof, in the order in which they were declared in the
1217 // .proto file. Does not include extensions.
1218 const FieldDescriptor* field(int index) const;
1219
1220 const OneofOptions& options() const;
1221
1222 // See Descriptor::CopyTo().
1223 void CopyTo(OneofDescriptorProto* proto) const;
1224
1225 // See Descriptor::DebugString().
1226 std::string DebugString() const;
1227
1228 // See Descriptor::DebugStringWithOptions().
1229 std::string DebugStringWithOptions(const DebugStringOptions& options) const;
1230
1231 // Allows formatting with absl and gtest.
1232 template <typename Sink>
AbslStringify(Sink & sink,const OneofDescriptor & d)1233 friend void AbslStringify(Sink& sink, const OneofDescriptor& d) {
1234 absl::Format(&sink, "%s", d.DebugString());
1235 }
1236
1237 // Source Location ---------------------------------------------------
1238
1239 // Updates |*out_location| to the source location of the complete
1240 // extent of this oneof declaration. Returns false and leaves
1241 // |*out_location| unchanged iff location information was not available.
1242 bool GetSourceLocation(SourceLocation* out_location) const;
1243
1244 private:
1245 friend class Symbol;
1246 typedef OneofOptions OptionsType;
1247
1248 // Allows access to GetLocationPath for annotations.
1249 friend class io::Printer;
1250 friend class compiler::cpp::Formatter;
1251 friend class OneofDescriptorLegacy;
1252
1253 // Returns whether this oneof was inserted by the compiler to wrap a proto3
1254 // optional field. If this returns true, code generators should *not* emit it.
1255 bool is_synthetic() const;
1256
1257 // Get the merged features that apply to this oneof. These are specified in
1258 // the .proto file through the feature options in the oneof definition.
1259 // Allowed features are defined by Features in descriptor.proto, along with
1260 // any backend-specific extensions to it.
features()1261 const FeatureSet& features() const { return *merged_features_; }
1262 friend class internal::InternalFeatureHelper;
1263
1264 // See Descriptor::DebugString().
1265 void DebugString(int depth, std::string* contents,
1266 const DebugStringOptions& options) const;
1267
1268 // Walks up the descriptor tree to generate the source location path
1269 // to this descriptor from the file root.
1270 void GetLocationPath(std::vector<int>* output) const;
1271
1272 int field_count_;
1273
1274 // all_names_ = [name, full_name]
1275 const std::string* all_names_;
1276 const Descriptor* containing_type_;
1277 const OneofOptions* options_;
1278 const FeatureSet* proto_features_;
1279 const FeatureSet* merged_features_;
1280 const FieldDescriptor* fields_;
1281
1282 // IMPORTANT: If you add a new field, make sure to search for all instances
1283 // of Allocate<OneofDescriptor>() and AllocateArray<OneofDescriptor>()
1284 // in descriptor.cc and update them to initialize the field.
1285
1286 // Must be constructed using DescriptorPool.
1287 OneofDescriptor();
1288 friend class DescriptorBuilder;
1289 friend class Descriptor;
1290 friend class FieldDescriptor;
1291 friend class Reflection;
1292 };
1293
1294 PROTOBUF_INTERNAL_CHECK_CLASS_SIZE(OneofDescriptor, 56);
1295
1296 // Describes an enum type defined in a .proto file. To get the EnumDescriptor
1297 // for a generated enum type, call TypeName_descriptor(). Use DescriptorPool
1298 // to construct your own descriptors.
1299 class PROTOBUF_EXPORT EnumDescriptor : private internal::SymbolBase {
1300 public:
1301 typedef EnumDescriptorProto Proto;
1302
1303 #ifndef SWIG
1304 EnumDescriptor(const EnumDescriptor&) = delete;
1305 EnumDescriptor& operator=(const EnumDescriptor&) = delete;
1306 #endif
1307
1308 // The name of this enum type in the containing scope.
1309 internal::DescriptorStringView name() const;
1310
1311 // The fully-qualified name of the enum type, scope delimited by periods.
1312 internal::DescriptorStringView full_name() const;
1313
1314 // Index of this enum within the file or containing message's enum array.
1315 int index() const;
1316
1317 // The .proto file in which this enum type was defined. Never nullptr.
1318 const FileDescriptor* file() const;
1319
1320 // The number of values for this EnumDescriptor. Guaranteed to be greater
1321 // than zero.
1322 int value_count() const;
1323 // Gets a value by index, where 0 <= index < value_count().
1324 // These are returned in the order they were defined in the .proto file.
1325 const EnumValueDescriptor* value(int index) const;
1326
1327 // Looks up a value by name. Returns nullptr if no such value exists.
1328 const EnumValueDescriptor* FindValueByName(absl::string_view name) const;
1329 // Looks up a value by number. Returns nullptr if no such value exists. If
1330 // multiple values have this number, the first one defined is returned.
1331 const EnumValueDescriptor* FindValueByNumber(int number) const;
1332
1333 // If this enum type is nested in a message type, this is that message type.
1334 // Otherwise, nullptr.
1335 const Descriptor* containing_type() const;
1336
1337 // Get options for this enum type. These are specified in the .proto file by
1338 // placing lines like "option foo = 1234;" in the enum definition. Allowed
1339 // options are defined by EnumOptions in descriptor.proto, and any available
1340 // extensions of that message.
1341 const EnumOptions& options() const;
1342
1343 // See Descriptor::CopyTo().
1344 void CopyTo(EnumDescriptorProto* proto) const;
1345
1346 // See Descriptor::DebugString().
1347 std::string DebugString() const;
1348
1349 // See Descriptor::DebugStringWithOptions().
1350 std::string DebugStringWithOptions(const DebugStringOptions& options) const;
1351
1352 // Allows formatting with absl and gtest.
1353 template <typename Sink>
AbslStringify(Sink & sink,const EnumDescriptor & d)1354 friend void AbslStringify(Sink& sink, const EnumDescriptor& d) {
1355 absl::Format(&sink, "%s", d.DebugString());
1356 }
1357
1358 // Returns true if this is a placeholder for an unknown enum. This will
1359 // only be the case if this descriptor comes from a DescriptorPool
1360 // with AllowUnknownDependencies() set.
1361 bool is_placeholder() const;
1362
1363 // Returns true whether this is a "closed" enum, meaning that it:
1364 // - Has a fixed set of values, rather than being equivalent to an int32.
1365 // - Encountering values not in this set causes them to be treated as unknown
1366 // fields.
1367 // - The first value (i.e., the default) may be nonzero.
1368 //
1369 // WARNING: Some runtimes currently have a quirk where non-closed enums are
1370 // treated as closed when used as the type of fields defined in a
1371 // `syntax = proto2;` file. This quirk is not present in all runtimes; as of
1372 // writing, we know that:
1373 //
1374 // - C++, Java, and C++-based Python share this quirk.
1375 // - UPB and UPB-based Python do not.
1376 // - PHP and Ruby treat all enums as open regardless of declaration.
1377 //
1378 // Care should be taken when using this function to respect the target
1379 // runtime's enum handling quirks.
1380 bool is_closed() const;
1381
1382 // Reserved fields -------------------------------------------------
1383
1384 // A range of reserved field numbers.
1385 struct ReservedRange {
1386 int start; // inclusive
1387 int end; // inclusive
1388 };
1389
1390 // The number of reserved ranges in this message type.
1391 int reserved_range_count() const;
1392 // Gets an reserved range by index, where 0 <= index <
1393 // reserved_range_count(). These are returned in the order they were defined
1394 // in the .proto file.
1395 const EnumDescriptor::ReservedRange* reserved_range(int index) const;
1396
1397 // Returns true if the number is in one of the reserved ranges.
1398 bool IsReservedNumber(int number) const;
1399
1400 // Returns nullptr if no reserved range contains the given number.
1401 const EnumDescriptor::ReservedRange* FindReservedRangeContainingNumber(
1402 int number) const;
1403
1404 // The number of reserved field names in this message type.
1405 int reserved_name_count() const;
1406
1407 // Gets a reserved name by index, where 0 <= index < reserved_name_count().
1408 internal::DescriptorStringView reserved_name(int index) const;
1409
1410 // Returns true if the field name is reserved.
1411 bool IsReservedName(absl::string_view name) const;
1412
1413 // Source Location ---------------------------------------------------
1414
1415 // Updates |*out_location| to the source location of the complete
1416 // extent of this enum declaration. Returns false and leaves
1417 // |*out_location| unchanged iff location information was not available.
1418 bool GetSourceLocation(SourceLocation* out_location) const;
1419
1420 private:
1421 friend class Symbol;
1422 friend bool internal::IsEnumFullySequential(const EnumDescriptor* enum_desc);
1423 typedef EnumOptions OptionsType;
1424
1425 // Allows access to GetLocationPath for annotations.
1426 friend class io::Printer;
1427 friend class compiler::cpp::Formatter;
1428
1429 // Allow access to FindValueByNumberCreatingIfUnknown.
1430 friend class descriptor_unittest::DescriptorTest;
1431
1432 // Get the merged features that apply to this enum type. These are specified
1433 // in the .proto file through the feature options in the message definition.
1434 // Allowed features are defined by Features in descriptor.proto, along with
1435 // any backend-specific extensions to it.
features()1436 const FeatureSet& features() const { return *merged_features_; }
1437 friend class internal::InternalFeatureHelper;
1438
1439 // Looks up a value by number. If the value does not exist, dynamically
1440 // creates a new EnumValueDescriptor for that value, assuming that it was
1441 // unknown. If a new descriptor is created, this is done in a thread-safe way,
1442 // and future calls will return the same value descriptor pointer.
1443 //
1444 // This is private but is used by Reflection (which is friended below) to
1445 // return a valid EnumValueDescriptor from GetEnum() when this feature is
1446 // enabled.
1447 const EnumValueDescriptor* FindValueByNumberCreatingIfUnknown(
1448 int number) const;
1449
1450 // See Descriptor::DebugString().
1451 void DebugString(int depth, std::string* contents,
1452 const DebugStringOptions& options) const;
1453
1454 // Walks up the descriptor tree to generate the source location path
1455 // to this descriptor from the file root.
1456 void GetLocationPath(std::vector<int>* output) const;
1457
1458 // True if this is a placeholder for an unknown type.
1459 bool is_placeholder_ : 1;
1460 // True if this is a placeholder and the type name wasn't fully-qualified.
1461 bool is_unqualified_placeholder_ : 1;
1462
1463 // This points to the last value _index_ that is part of the sequence starting
1464 // with the first label, where
1465 // `enum->value(i)->number() == enum->value(0)->number() + i`
1466 // We measure relative to the first label to adapt to enum labels starting at
1467 // 0 or 1.
1468 // Uses 16-bit to avoid extra padding. Unlikely to have more than 2^15
1469 // sequentially numbered labels in an enum.
1470 int16_t sequential_value_limit_;
1471
1472 int value_count_;
1473
1474 // all_names_ = [name, full_name]
1475 const std::string* all_names_;
1476 const FileDescriptor* file_;
1477 const Descriptor* containing_type_;
1478 const EnumOptions* options_;
1479 const FeatureSet* proto_features_;
1480 const FeatureSet* merged_features_;
1481 EnumValueDescriptor* values_;
1482
1483 int reserved_range_count_;
1484 int reserved_name_count_;
1485 EnumDescriptor::ReservedRange* reserved_ranges_;
1486 const std::string** reserved_names_;
1487
1488 // IMPORTANT: If you add a new field, make sure to search for all instances
1489 // of Allocate<EnumDescriptor>() and AllocateArray<EnumDescriptor>() in
1490 // descriptor.cc and update them to initialize the field.
1491
1492 // Must be constructed using DescriptorPool.
1493 EnumDescriptor();
1494 friend class DescriptorBuilder;
1495 friend class Descriptor;
1496 friend class FieldDescriptor;
1497 friend class FileDescriptorTables;
1498 friend class EnumValueDescriptor;
1499 friend class FileDescriptor;
1500 friend class DescriptorPool;
1501 friend class Reflection;
1502 };
1503
1504 PROTOBUF_INTERNAL_CHECK_CLASS_SIZE(EnumDescriptor, 88);
1505
1506 // Describes an individual enum constant of a particular type. To get the
1507 // EnumValueDescriptor for a given enum value, first get the EnumDescriptor
1508 // for its type, then use EnumDescriptor::FindValueByName() or
1509 // EnumDescriptor::FindValueByNumber(). Use DescriptorPool to construct
1510 // your own descriptors.
1511 class PROTOBUF_EXPORT EnumValueDescriptor : private internal::SymbolBaseN<0>,
1512 private internal::SymbolBaseN<1> {
1513 public:
1514 typedef EnumValueDescriptorProto Proto;
1515
1516 #ifndef SWIG
1517 EnumValueDescriptor(const EnumValueDescriptor&) = delete;
1518 EnumValueDescriptor& operator=(const EnumValueDescriptor&) = delete;
1519 #endif
1520
1521 internal::DescriptorStringView name() const; // Name of this enum constant.
1522 int index() const; // Index within the enums's Descriptor.
1523 int number() const; // Numeric value of this enum constant.
1524
1525 // The full_name of an enum value is a sibling symbol of the enum type.
1526 // e.g. the full name of FieldDescriptorProto::TYPE_INT32 is actually
1527 // "google.protobuf.FieldDescriptorProto.TYPE_INT32", NOT
1528 // "google.protobuf.FieldDescriptorProto.Type.TYPE_INT32". This is to conform
1529 // with C++ scoping rules for enums.
1530 internal::DescriptorStringView full_name() const;
1531
1532 // The .proto file in which this value was defined. Never nullptr.
1533 const FileDescriptor* file() const;
1534 // The type of this value. Never nullptr.
1535 const EnumDescriptor* type() const;
1536
1537 // Get options for this enum value. These are specified in the .proto file by
1538 // adding text like "[foo = 1234]" after an enum value definition. Allowed
1539 // options are defined by EnumValueOptions in descriptor.proto, and any
1540 // available extensions of that message.
1541 const EnumValueOptions& options() const;
1542
1543 // See Descriptor::CopyTo().
1544 void CopyTo(EnumValueDescriptorProto* proto) const;
1545
1546 // See Descriptor::DebugString().
1547 std::string DebugString() const;
1548
1549 // See Descriptor::DebugStringWithOptions().
1550 std::string DebugStringWithOptions(const DebugStringOptions& options) const;
1551
1552 // Allows formatting with absl and gtest.
1553 template <typename Sink>
AbslStringify(Sink & sink,const EnumValueDescriptor & d)1554 friend void AbslStringify(Sink& sink, const EnumValueDescriptor& d) {
1555 absl::Format(&sink, "%s", d.DebugString());
1556 }
1557
1558 // Source Location ---------------------------------------------------
1559
1560 // Updates |*out_location| to the source location of the complete
1561 // extent of this enum value declaration. Returns false and leaves
1562 // |*out_location| unchanged iff location information was not available.
1563 bool GetSourceLocation(SourceLocation* out_location) const;
1564
1565 private:
1566 friend class Symbol;
1567 typedef EnumValueOptions OptionsType;
1568
1569 // Allows access to GetLocationPath for annotations.
1570 friend class io::Printer;
1571 friend class compiler::cpp::Formatter;
1572 friend const std::string& internal::NameOfEnumAsString(
1573 const EnumValueDescriptor* descriptor);
1574
1575 // Get the merged features that apply to this enum value. These are specified
1576 // in the .proto file through the feature options in the message definition.
1577 // Allowed features are defined by Features in descriptor.proto, along with
1578 // any backend-specific extensions to it.
features()1579 const FeatureSet& features() const { return *merged_features_; }
1580 friend class internal::InternalFeatureHelper;
1581
1582 // See Descriptor::DebugString().
1583 void DebugString(int depth, std::string* contents,
1584 const DebugStringOptions& options) const;
1585
1586 // Walks up the descriptor tree to generate the source location path
1587 // to this descriptor from the file root.
1588 void GetLocationPath(std::vector<int>* output) const;
1589
1590 int number_;
1591 // all_names_ = [name, full_name]
1592 const std::string* all_names_;
1593 const EnumDescriptor* type_;
1594 const EnumValueOptions* options_;
1595 const FeatureSet* proto_features_;
1596 const FeatureSet* merged_features_;
1597 // IMPORTANT: If you add a new field, make sure to search for all instances
1598 // of Allocate<EnumValueDescriptor>() and AllocateArray<EnumValueDescriptor>()
1599 // in descriptor.cc and update them to initialize the field.
1600
1601 // Must be constructed using DescriptorPool.
1602 EnumValueDescriptor();
1603 friend class DescriptorBuilder;
1604 friend class EnumDescriptor;
1605 friend class DescriptorPool;
1606 friend class FileDescriptorTables;
1607 friend class Reflection;
1608 };
1609
1610 PROTOBUF_INTERNAL_CHECK_CLASS_SIZE(EnumValueDescriptor, 48);
1611
1612 // Describes an RPC service. Use DescriptorPool to construct your own
1613 // descriptors.
1614 class PROTOBUF_EXPORT ServiceDescriptor : private internal::SymbolBase {
1615 public:
1616 typedef ServiceDescriptorProto Proto;
1617
1618 #ifndef SWIG
1619 ServiceDescriptor(const ServiceDescriptor&) = delete;
1620 ServiceDescriptor& operator=(const ServiceDescriptor&) = delete;
1621 #endif
1622
1623 // The name of the service, not including its containing scope.
1624 internal::DescriptorStringView name() const;
1625 // The fully-qualified name of the service, scope delimited by periods.
1626 internal::DescriptorStringView full_name() const;
1627 // Index of this service within the file's services array.
1628 int index() const;
1629
1630 // The .proto file in which this service was defined. Never nullptr.
1631 const FileDescriptor* file() const;
1632
1633 // Get options for this service type. These are specified in the .proto file
1634 // by placing lines like "option foo = 1234;" in the service definition.
1635 // Allowed options are defined by ServiceOptions in descriptor.proto, and any
1636 // available extensions of that message.
1637 const ServiceOptions& options() const;
1638
1639 // The number of methods this service defines.
1640 int method_count() const;
1641 // Gets a MethodDescriptor by index, where 0 <= index < method_count().
1642 // These are returned in the order they were defined in the .proto file.
1643 const MethodDescriptor* method(int index) const;
1644
1645 // Look up a MethodDescriptor by name.
1646 const MethodDescriptor* FindMethodByName(absl::string_view name) const;
1647
1648 // See Descriptor::CopyTo().
1649 void CopyTo(ServiceDescriptorProto* proto) const;
1650
1651 // See Descriptor::DebugString().
1652 std::string DebugString() const;
1653
1654 // See Descriptor::DebugStringWithOptions().
1655 std::string DebugStringWithOptions(const DebugStringOptions& options) const;
1656
1657 // Allows formatting with absl and gtest.
1658 template <typename Sink>
AbslStringify(Sink & sink,const ServiceDescriptor & d)1659 friend void AbslStringify(Sink& sink, const ServiceDescriptor& d) {
1660 absl::Format(&sink, "%s", d.DebugString());
1661 }
1662
1663 // Source Location ---------------------------------------------------
1664
1665 // Updates |*out_location| to the source location of the complete
1666 // extent of this service declaration. Returns false and leaves
1667 // |*out_location| unchanged iff location information was not available.
1668 bool GetSourceLocation(SourceLocation* out_location) const;
1669
1670 private:
1671 friend class Symbol;
1672 typedef ServiceOptions OptionsType;
1673
1674 // Allows access to GetLocationPath for annotations.
1675 friend class io::Printer;
1676 friend class compiler::cpp::Formatter;
1677
1678 // Get the merged features that apply to this service type. These are
1679 // specified in the .proto file through the feature options in the service
1680 // definition. Allowed features are defined by Features in descriptor.proto,
1681 // along with any backend-specific extensions to it.
features()1682 const FeatureSet& features() const { return *merged_features_; }
1683 friend class internal::InternalFeatureHelper;
1684
1685 // See Descriptor::DebugString().
1686 void DebugString(std::string* contents,
1687 const DebugStringOptions& options) const;
1688
1689 // Walks up the descriptor tree to generate the source location path
1690 // to this descriptor from the file root.
1691 void GetLocationPath(std::vector<int>* output) const;
1692
1693 // all_names_ = [name, full_name]
1694 const std::string* all_names_;
1695 const FileDescriptor* file_;
1696 const ServiceOptions* options_;
1697 const FeatureSet* proto_features_;
1698 const FeatureSet* merged_features_;
1699 MethodDescriptor* methods_;
1700 int method_count_;
1701 // IMPORTANT: If you add a new field, make sure to search for all instances
1702 // of Allocate<ServiceDescriptor>() and AllocateArray<ServiceDescriptor>() in
1703 // descriptor.cc and update them to initialize the field.
1704
1705 // Must be constructed using DescriptorPool.
1706 ServiceDescriptor();
1707 friend class DescriptorBuilder;
1708 friend class FileDescriptor;
1709 friend class MethodDescriptor;
1710 };
1711
1712 PROTOBUF_INTERNAL_CHECK_CLASS_SIZE(ServiceDescriptor, 64);
1713
1714 // Describes an individual service method. To obtain a MethodDescriptor given
1715 // a service, first get its ServiceDescriptor, then call
1716 // ServiceDescriptor::FindMethodByName(). Use DescriptorPool to construct your
1717 // own descriptors.
1718 class PROTOBUF_EXPORT MethodDescriptor : private internal::SymbolBase {
1719 public:
1720 typedef MethodDescriptorProto Proto;
1721
1722 #ifndef SWIG
1723 MethodDescriptor(const MethodDescriptor&) = delete;
1724 MethodDescriptor& operator=(const MethodDescriptor&) = delete;
1725 #endif
1726
1727 // Name of this method, not including containing scope.
1728 internal::DescriptorStringView name() const;
1729 // The fully-qualified name of the method, scope delimited by periods.
1730 internal::DescriptorStringView full_name() const;
1731 // Index within the service's Descriptor.
1732 int index() const;
1733
1734 // The .proto file in which this method was defined. Never nullptr.
1735 const FileDescriptor* file() const;
1736 // Gets the service to which this method belongs. Never nullptr.
1737 const ServiceDescriptor* service() const;
1738
1739 // Gets the type of protocol message which this method accepts as input.
1740 const Descriptor* input_type() const;
1741 // Gets the type of protocol message which this message produces as output.
1742 const Descriptor* output_type() const;
1743
1744 // Gets whether the client streams multiple requests.
1745 bool client_streaming() const;
1746 // Gets whether the server streams multiple responses.
1747 bool server_streaming() const;
1748
1749 // Get options for this method. These are specified in the .proto file by
1750 // placing lines like "option foo = 1234;" in curly-braces after a method
1751 // declaration. Allowed options are defined by MethodOptions in
1752 // descriptor.proto, and any available extensions of that message.
1753 const MethodOptions& options() const;
1754
1755 // See Descriptor::CopyTo().
1756 void CopyTo(MethodDescriptorProto* proto) const;
1757
1758 // See Descriptor::DebugString().
1759 std::string DebugString() const;
1760
1761 // See Descriptor::DebugStringWithOptions().
1762 std::string DebugStringWithOptions(const DebugStringOptions& options) const;
1763
1764 // Allows formatting with absl and gtest.
1765 template <typename Sink>
AbslStringify(Sink & sink,const MethodDescriptor & d)1766 friend void AbslStringify(Sink& sink, const MethodDescriptor& d) {
1767 absl::Format(&sink, "%s", d.DebugString());
1768 }
1769
1770 // Source Location ---------------------------------------------------
1771
1772 // Updates |*out_location| to the source location of the complete
1773 // extent of this method declaration. Returns false and leaves
1774 // |*out_location| unchanged iff location information was not available.
1775 bool GetSourceLocation(SourceLocation* out_location) const;
1776
1777 private:
1778 friend class Symbol;
1779 typedef MethodOptions OptionsType;
1780
1781 // Allows access to GetLocationPath for annotations.
1782 friend class io::Printer;
1783 friend class compiler::cpp::Formatter;
1784
1785 // Get the merged features that apply to this method. These are specified in
1786 // the .proto file through the feature options in the method definition.
1787 // Allowed features are defined by Features in descriptor.proto, along with
1788 // any backend-specific extensions to it.
features()1789 const FeatureSet& features() const { return *merged_features_; }
1790 friend class internal::InternalFeatureHelper;
1791
1792 // See Descriptor::DebugString().
1793 void DebugString(int depth, std::string* contents,
1794 const DebugStringOptions& options) const;
1795
1796 // Walks up the descriptor tree to generate the source location path
1797 // to this descriptor from the file root.
1798 void GetLocationPath(std::vector<int>* output) const;
1799
1800 bool client_streaming_;
1801 bool server_streaming_;
1802 // all_names_ = [name, full_name]
1803 const std::string* all_names_;
1804 const ServiceDescriptor* service_;
1805 mutable internal::LazyDescriptor input_type_;
1806 mutable internal::LazyDescriptor output_type_;
1807 const MethodOptions* options_;
1808 const FeatureSet* proto_features_;
1809 const FeatureSet* merged_features_;
1810 // IMPORTANT: If you add a new field, make sure to search for all instances
1811 // of Allocate<MethodDescriptor>() and AllocateArray<MethodDescriptor>() in
1812 // descriptor.cc and update them to initialize the field.
1813
1814 // Must be constructed using DescriptorPool.
1815 MethodDescriptor();
1816 friend class DescriptorBuilder;
1817 friend class ServiceDescriptor;
1818 };
1819
1820 PROTOBUF_INTERNAL_CHECK_CLASS_SIZE(MethodDescriptor, 80);
1821
1822 // Describes a whole .proto file. To get the FileDescriptor for a compiled-in
1823 // file, get the descriptor for something defined in that file and call
1824 // descriptor->file(). Use DescriptorPool to construct your own descriptors.
1825 class PROTOBUF_EXPORT FileDescriptor : private internal::SymbolBase {
1826 public:
1827 typedef FileDescriptorProto Proto;
1828
1829 #ifndef SWIG
1830 FileDescriptor(const FileDescriptor&) = delete;
1831 FileDescriptor& operator=(const FileDescriptor&) = delete;
1832 #endif
1833
1834 // The filename, relative to the source tree.
1835 // e.g. "foo/bar/baz.proto"
1836 internal::DescriptorStringView name() const;
1837
1838 // The package, e.g. "google.protobuf.compiler".
1839 internal::DescriptorStringView package() const;
1840
1841 // The DescriptorPool in which this FileDescriptor and all its contents were
1842 // allocated. Never nullptr.
1843 const DescriptorPool* pool() const;
1844
1845 // The number of files imported by this one.
1846 int dependency_count() const;
1847 // Gets an imported file by index, where 0 <= index < dependency_count().
1848 // These are returned in the order they were defined in the .proto file.
1849 const FileDescriptor* dependency(int index) const;
1850
1851 // The number of files public imported by this one.
1852 // The public dependency list is a subset of the dependency list.
1853 int public_dependency_count() const;
1854 // Gets a public imported file by index, where 0 <= index <
1855 // public_dependency_count().
1856 // These are returned in the order they were defined in the .proto file.
1857 const FileDescriptor* public_dependency(int index) const;
1858
1859 // The number of files that are imported for weak fields.
1860 // The weak dependency list is a subset of the dependency list.
1861 int weak_dependency_count() const;
1862 // Gets a weak imported file by index, where 0 <= index <
1863 // weak_dependency_count().
1864 // These are returned in the order they were defined in the .proto file.
1865 const FileDescriptor* weak_dependency(int index) const;
1866
1867 // Number of top-level message types defined in this file. (This does not
1868 // include nested types.)
1869 int message_type_count() const;
1870 // Gets a top-level message type, where 0 <= index < message_type_count().
1871 // These are returned in the order they were defined in the .proto file.
1872 const Descriptor* message_type(int index) const;
1873
1874 // Number of top-level enum types defined in this file. (This does not
1875 // include nested types.)
1876 int enum_type_count() const;
1877 // Gets a top-level enum type, where 0 <= index < enum_type_count().
1878 // These are returned in the order they were defined in the .proto file.
1879 const EnumDescriptor* enum_type(int index) const;
1880
1881 // Number of services defined in this file.
1882 int service_count() const;
1883 // Gets a service, where 0 <= index < service_count().
1884 // These are returned in the order they were defined in the .proto file.
1885 const ServiceDescriptor* service(int index) const;
1886
1887 // Number of extensions defined at file scope. (This does not include
1888 // extensions nested within message types.)
1889 int extension_count() const;
1890 // Gets an extension's descriptor, where 0 <= index < extension_count().
1891 // These are returned in the order they were defined in the .proto file.
1892 const FieldDescriptor* extension(int index) const;
1893
1894 // Get options for this file. These are specified in the .proto file by
1895 // placing lines like "option foo = 1234;" at the top level, outside of any
1896 // other definitions. Allowed options are defined by FileOptions in
1897 // descriptor.proto, and any available extensions of that message.
1898 const FileOptions& options() const;
1899
1900 // Find a top-level message type by name (not full_name). Returns nullptr if
1901 // not found.
1902 const Descriptor* FindMessageTypeByName(absl::string_view name) const;
1903 // Find a top-level enum type by name. Returns nullptr if not found.
1904 const EnumDescriptor* FindEnumTypeByName(absl::string_view name) const;
1905 // Find an enum value defined in any top-level enum by name. Returns nullptr
1906 // if not found.
1907 const EnumValueDescriptor* FindEnumValueByName(absl::string_view name) const;
1908 // Find a service definition by name. Returns nullptr if not found.
1909 const ServiceDescriptor* FindServiceByName(absl::string_view name) const;
1910 // Find a top-level extension definition by name. Returns nullptr if not
1911 // found.
1912 const FieldDescriptor* FindExtensionByName(absl::string_view name) const;
1913 // Similar to FindExtensionByName(), but searches by lowercased-name. See
1914 // Descriptor::FindFieldByLowercaseName().
1915 const FieldDescriptor* FindExtensionByLowercaseName(
1916 absl::string_view name) const;
1917 // Similar to FindExtensionByName(), but searches by camelcased-name. See
1918 // Descriptor::FindFieldByCamelcaseName().
1919 const FieldDescriptor* FindExtensionByCamelcaseName(
1920 absl::string_view name) const;
1921
1922 // See Descriptor::CopyTo().
1923 // Notes:
1924 // - This method does NOT copy source code information since it is relatively
1925 // large and rarely needed. See CopySourceCodeInfoTo() below.
1926 void CopyTo(FileDescriptorProto* proto) const;
1927 // Write the source code information of this FileDescriptor into the given
1928 // FileDescriptorProto. See CopyTo() above.
1929 void CopySourceCodeInfoTo(FileDescriptorProto* proto) const;
1930 // Fill the json_name field of FieldDescriptorProto for all fields. Can only
1931 // be called after CopyTo().
1932 void CopyJsonNameTo(FileDescriptorProto* proto) const;
1933 // Fills in the file-level settings of this file (e.g. edition, package,
1934 // file options) to `proto`.
1935 void CopyHeadingTo(FileDescriptorProto* proto) const;
1936
1937 // See Descriptor::DebugString().
1938 std::string DebugString() const;
1939
1940 // See Descriptor::DebugStringWithOptions().
1941 std::string DebugStringWithOptions(const DebugStringOptions& options) const;
1942
1943 // Allows formatting with absl and gtest.
1944 template <typename Sink>
AbslStringify(Sink & sink,const FileDescriptor & d)1945 friend void AbslStringify(Sink& sink, const FileDescriptor& d) {
1946 absl::Format(&sink, "%s", d.DebugString());
1947 }
1948
1949 // Returns true if this is a placeholder for an unknown file. This will
1950 // only be the case if this descriptor comes from a DescriptorPool
1951 // with AllowUnknownDependencies() set.
1952 bool is_placeholder() const;
1953
1954 // Updates |*out_location| to the source location of the complete extent of
1955 // this file declaration (namely, the empty path).
1956 bool GetSourceLocation(SourceLocation* out_location) const;
1957
1958 // Updates |*out_location| to the source location of the complete
1959 // extent of the declaration or declaration-part denoted by |path|.
1960 // Returns false and leaves |*out_location| unchanged iff location
1961 // information was not available. (See SourceCodeInfo for
1962 // description of path encoding.)
1963 bool GetSourceLocation(const std::vector<int>& path,
1964 SourceLocation* out_location) const;
1965
1966 private:
1967 friend class Symbol;
1968 friend class FileDescriptorLegacy;
1969 typedef FileOptions OptionsType;
1970
1971 bool is_placeholder_;
1972 // Indicates the FileDescriptor is completed building. Used to verify
1973 // that type accessor functions that can possibly build a dependent file
1974 // aren't called during the process of building the file.
1975 bool finished_building_;
1976 // This one is here to fill the padding.
1977 int extension_count_;
1978
1979 const std::string* name_;
1980 const std::string* package_;
1981 const DescriptorPool* pool_;
1982 Edition edition_;
1983
1984 // Returns edition of this file. For legacy proto2/proto3 files, special
1985 // EDITION_PROTO2 and EDITION_PROTO3 values are used.
1986 Edition edition() const;
1987
1988 // Get the merged features that apply to this file. These are specified in
1989 // the .proto file through the feature options in the message definition.
1990 // Allowed features are defined by FeatureSet in descriptor.proto, along with
1991 // any backend-specific extensions to it.
features()1992 const FeatureSet& features() const { return *merged_features_; }
1993 friend class internal::InternalFeatureHelper;
1994
1995 // dependencies_once_ contain a once_flag followed by N NUL terminated
1996 // strings. Dependencies that do not need to be loaded will be empty. ie just
1997 // {'\0'}
1998 absl::once_flag* dependencies_once_;
1999 static void DependenciesOnceInit(const FileDescriptor* to_init);
2000 void InternalDependenciesOnceInit() const;
2001
2002 // These are arranged to minimize padding on 64-bit.
2003 int dependency_count_;
2004 int public_dependency_count_;
2005 int weak_dependency_count_;
2006 int message_type_count_;
2007 int enum_type_count_;
2008 int service_count_;
2009
2010 mutable const FileDescriptor** dependencies_;
2011 int* public_dependencies_;
2012 int* weak_dependencies_;
2013 Descriptor* message_types_;
2014 EnumDescriptor* enum_types_;
2015 ServiceDescriptor* services_;
2016 FieldDescriptor* extensions_;
2017 const FileOptions* options_;
2018 const FeatureSet* proto_features_;
2019 const FeatureSet* merged_features_;
2020
2021 const FileDescriptorTables* tables_;
2022 const SourceCodeInfo* source_code_info_;
2023
2024 // IMPORTANT: If you add a new field, make sure to search for all instances
2025 // of Allocate<FileDescriptor>() and AllocateArray<FileDescriptor>() in
2026 // descriptor.cc and update them to initialize the field.
2027
2028 FileDescriptor();
2029 friend class DescriptorBuilder;
2030 friend class DescriptorPool;
2031 friend class Descriptor;
2032 friend class FieldDescriptor;
2033 friend class internal::LazyDescriptor;
2034 friend class OneofDescriptor;
2035 friend class EnumDescriptor;
2036 friend class EnumValueDescriptor;
2037 friend class MethodDescriptor;
2038 friend class ServiceDescriptor;
2039 };
2040
2041 PROTOBUF_INTERNAL_CHECK_CLASS_SIZE(FileDescriptor, 168);
2042
2043 // ===================================================================
2044
2045 // Used to construct descriptors.
2046 //
2047 // Normally you won't want to build your own descriptors. Message classes
2048 // constructed by the protocol compiler will provide them for you. However,
2049 // if you are implementing Message on your own, or if you are writing a
2050 // program which can operate on totally arbitrary types and needs to load
2051 // them from some sort of database, you might need to.
2052 //
2053 // Since Descriptors are composed of a whole lot of cross-linked bits of
2054 // data that would be a pain to put together manually, the
2055 // DescriptorPool class is provided to make the process easier. It can
2056 // take a FileDescriptorProto (defined in descriptor.proto), validate it,
2057 // and convert it to a set of nicely cross-linked Descriptors.
2058 //
2059 // DescriptorPool also helps with memory management. Descriptors are
2060 // composed of many objects containing static data and pointers to each
2061 // other. In all likelihood, when it comes time to delete this data,
2062 // you'll want to delete it all at once. In fact, it is not uncommon to
2063 // have a whole pool of descriptors all cross-linked with each other which
2064 // you wish to delete all at once. This class represents such a pool, and
2065 // handles the memory management for you.
2066 //
2067 // You can also search for descriptors within a DescriptorPool by name, and
2068 // extensions by number.
2069 class PROTOBUF_EXPORT DescriptorPool {
2070 public:
2071 // Create a normal, empty DescriptorPool.
2072 DescriptorPool();
2073
2074 // Constructs a DescriptorPool that, when it can't find something among the
2075 // descriptors already in the pool, looks for it in the given
2076 // DescriptorDatabase.
2077 // Notes:
2078 // - If a DescriptorPool is constructed this way, its BuildFile*() methods
2079 // must not be called (they will assert-fail). The only way to populate
2080 // the pool with descriptors is to call the Find*By*() methods.
2081 // - The Find*By*() methods may block the calling thread if the
2082 // DescriptorDatabase blocks. This in turn means that parsing messages
2083 // may block if they need to look up extensions.
2084 // - The Find*By*() methods will use mutexes for thread-safety, thus making
2085 // them slower even when they don't have to fall back to the database.
2086 // In fact, even the Find*By*() methods of descriptor objects owned by
2087 // this pool will be slower, since they will have to obtain locks too.
2088 // - An ErrorCollector may optionally be given to collect validation errors
2089 // in files loaded from the database. If not given, errors will be printed
2090 // to ABSL_LOG(ERROR). Remember that files are built on-demand, so this
2091 // ErrorCollector may be called from any thread that calls one of the
2092 // Find*By*() methods.
2093 // - The DescriptorDatabase must not be mutated during the lifetime of
2094 // the DescriptorPool. Even if the client takes care to avoid data races,
2095 // changes to the content of the DescriptorDatabase may not be reflected
2096 // in subsequent lookups in the DescriptorPool.
2097 class ErrorCollector;
2098 explicit DescriptorPool(DescriptorDatabase* fallback_database,
2099 ErrorCollector* error_collector = nullptr);
2100
2101 #ifndef SWIG
2102 DescriptorPool(const DescriptorPool&) = delete;
2103 DescriptorPool& operator=(const DescriptorPool&) = delete;
2104 #endif
2105 ~DescriptorPool();
2106
2107 // Get a pointer to the generated pool. Generated protocol message classes
2108 // which are compiled into the binary will allocate their descriptors in
2109 // this pool. Do not add your own descriptors to this pool.
2110 static const DescriptorPool* generated_pool();
2111
2112
2113 // Find a FileDescriptor in the pool by file name. Returns nullptr if not
2114 // found.
2115 const FileDescriptor* FindFileByName(absl::string_view name) const;
2116
2117 // Find the FileDescriptor in the pool which defines the given symbol.
2118 // If any of the Find*ByName() methods below would succeed, then this is
2119 // equivalent to calling that method and calling the result's file() method.
2120 // Otherwise this returns nullptr.
2121 const FileDescriptor* FindFileContainingSymbol(
2122 absl::string_view symbol_name) const;
2123
2124 // Looking up descriptors ------------------------------------------
2125 // These find descriptors by fully-qualified name. These will find both
2126 // top-level descriptors and nested descriptors. They return nullptr if not
2127 // found.
2128
2129 const Descriptor* FindMessageTypeByName(absl::string_view name) const;
2130 const FieldDescriptor* FindFieldByName(absl::string_view name) const;
2131 const FieldDescriptor* FindExtensionByName(absl::string_view name) const;
2132 const OneofDescriptor* FindOneofByName(absl::string_view name) const;
2133 const EnumDescriptor* FindEnumTypeByName(absl::string_view name) const;
2134 const EnumValueDescriptor* FindEnumValueByName(absl::string_view name) const;
2135 const ServiceDescriptor* FindServiceByName(absl::string_view name) const;
2136 const MethodDescriptor* FindMethodByName(absl::string_view name) const;
2137
2138 // Finds an extension of the given type by number. The extendee must be
2139 // a member of this DescriptorPool or one of its underlays.
2140 const FieldDescriptor* FindExtensionByNumber(const Descriptor* extendee,
2141 int number) const;
2142
2143 // Finds an extension of the given type by its printable name.
2144 // See comments above PrintableNameForExtension() for the definition of
2145 // "printable name". The extendee must be a member of this DescriptorPool
2146 // or one of its underlays. Returns nullptr if there is no known message
2147 // extension with the given printable name.
2148 const FieldDescriptor* FindExtensionByPrintableName(
2149 const Descriptor* extendee, absl::string_view printable_name) const;
2150
2151 // Finds extensions of extendee. The extensions will be appended to
2152 // out in an undefined order. Only extensions defined directly in
2153 // this DescriptorPool or one of its underlays are guaranteed to be
2154 // found: extensions defined in the fallback database might not be found
2155 // depending on the database implementation.
2156 void FindAllExtensions(const Descriptor* extendee,
2157 std::vector<const FieldDescriptor*>* out) const;
2158
2159 // Building descriptors --------------------------------------------
2160
2161 // When converting a FileDescriptorProto to a FileDescriptor, various
2162 // errors might be detected in the input. The caller may handle these
2163 // programmatically by implementing an ErrorCollector.
2164 class PROTOBUF_EXPORT ErrorCollector {
2165 public:
ErrorCollector()2166 inline ErrorCollector() {}
2167 #ifndef SWIG
2168 ErrorCollector(const ErrorCollector&) = delete;
2169 ErrorCollector& operator=(const ErrorCollector&) = delete;
2170 #endif
2171 virtual ~ErrorCollector();
2172
2173 // These constants specify what exact part of the construct is broken.
2174 // This is useful e.g. for mapping the error back to an exact location
2175 // in a .proto file.
2176 enum ErrorLocation {
2177 NAME, // the symbol name, or the package name for files
2178 NUMBER, // field, extension range or extension decl number
2179 TYPE, // field type
2180 EXTENDEE, // field extendee
2181 DEFAULT_VALUE, // field default value
2182 INPUT_TYPE, // method input type
2183 OUTPUT_TYPE, // method output type
2184 OPTION_NAME, // name in assignment
2185 OPTION_VALUE, // value in option assignment
2186 IMPORT, // import error
2187 EDITIONS, // editions-related error
2188 OTHER // some other problem
2189 };
2190 static absl::string_view ErrorLocationName(ErrorLocation location);
2191
2192 // Reports an error in the FileDescriptorProto. Use this function if the
2193 // problem occurred should interrupt building the FileDescriptorProto.
2194 // Provided the following arguments:
2195 // filename - File name in which the error occurred.
2196 // element_name - Full name of the erroneous element.
2197 // descriptor - Descriptor of the erroneous element.
2198 // location - One of the location constants, above.
2199 // message - Human-readable error message.
2200 virtual void RecordError(absl::string_view filename,
2201 absl::string_view element_name,
2202 const Message* descriptor, ErrorLocation location,
2203 absl::string_view message)
2204 = 0;
2205
2206 // Reports a warning in the FileDescriptorProto. Use this function if the
2207 // problem occurred should NOT interrupt building the FileDescriptorProto.
2208 // Provided the following arguments:
2209 // filename - File name in which the error occurred.
2210 // element_name - Full name of the erroneous element.
2211 // descriptor - Descriptor of the erroneous element.
2212 // location - One of the location constants, above.
2213 // message - Human-readable error message.
RecordWarning(absl::string_view filename,absl::string_view element_name,const Message * descriptor,ErrorLocation location,absl::string_view message)2214 virtual void RecordWarning(absl::string_view filename,
2215 absl::string_view element_name,
2216 const Message* descriptor,
2217 ErrorLocation location,
2218 absl::string_view message) {
2219 }
2220
2221 };
2222
2223 // Convert the FileDescriptorProto to real descriptors and place them in
2224 // this DescriptorPool. All dependencies of the file must already be in
2225 // the pool. Returns the resulting FileDescriptor, or nullptr if there were
2226 // problems with the input (e.g. the message was invalid, or dependencies
2227 // were missing). Details about the errors are written to ABSL_LOG(ERROR).
2228 const FileDescriptor* BuildFile(const FileDescriptorProto& proto);
2229
2230 // Same as BuildFile() except errors are sent to the given ErrorCollector.
2231 const FileDescriptor* BuildFileCollectingErrors(
2232 const FileDescriptorProto& proto, ErrorCollector* error_collector);
2233
2234 // By default, it is an error if a FileDescriptorProto contains references
2235 // to types or other files that are not found in the DescriptorPool (or its
2236 // backing DescriptorDatabase, if any). If you call
2237 // AllowUnknownDependencies(), however, then unknown types and files
2238 // will be replaced by placeholder descriptors (which can be identified by
2239 // the is_placeholder() method). This can allow you to
2240 // perform some useful operations with a .proto file even if you do not
2241 // have access to other .proto files on which it depends. However, some
2242 // heuristics must be used to fill in the gaps in information, and these
2243 // can lead to descriptors which are inaccurate. For example, the
2244 // DescriptorPool may be forced to guess whether an unknown type is a message
2245 // or an enum, as well as what package it resides in. Furthermore,
2246 // placeholder types will not be discoverable via FindMessageTypeByName()
2247 // and similar methods, which could confuse some descriptor-based algorithms.
2248 // Generally, the results of this option should be handled with extreme care.
AllowUnknownDependencies()2249 void AllowUnknownDependencies() { allow_unknown_ = true; }
2250
2251 // By default, weak imports are allowed to be missing, in which case we will
2252 // use a placeholder for the dependency and convert the field to be an Empty
2253 // message field. If you call EnforceWeakDependencies(true), however, the
2254 // DescriptorPool will report a import not found error.
EnforceWeakDependencies(bool enforce)2255 void EnforceWeakDependencies(bool enforce) { enforce_weak_ = enforce; }
2256
2257 // Sets the default feature mappings used during the build. If this function
2258 // isn't called, the C++ feature set defaults are used. If this function is
2259 // called, these defaults will be used instead.
2260 // FeatureSetDefaults includes a minimum/maximum supported edition, which will
2261 // be enforced while building proto files.
2262 absl::Status SetFeatureSetDefaults(FeatureSetDefaults spec);
2263
2264 // Toggles enforcement of extension declarations.
2265 // This enforcement is disabled by default because it requires full
2266 // descriptors with source-retention options, which are generally not
2267 // available at runtime.
EnforceExtensionDeclarations(bool enforce)2268 void EnforceExtensionDeclarations(bool enforce) {
2269 enforce_extension_declarations_ = enforce;
2270 }
2271
2272 #ifndef SWIG
2273 // Dispatch recursive builds to a callback that may stick them onto a separate
2274 // thread. This is primarily to avoid stack overflows on untrusted inputs.
2275 // The dispatcher must always synchronously execute the provided callback.
2276 // Asynchronous execution is undefined behavior.
SetRecursiveBuildDispatcher(absl::AnyInvocable<void (absl::FunctionRef<void ()>)const> dispatcher)2277 void SetRecursiveBuildDispatcher(
2278 absl::AnyInvocable<void(absl::FunctionRef<void()>) const> dispatcher) {
2279 if (dispatcher != nullptr) {
2280 dispatcher_ = std::make_unique<
2281 absl::AnyInvocable<void(absl::FunctionRef<void()>) const>>(
2282 std::move(dispatcher));
2283 } else {
2284 dispatcher_.reset(nullptr);
2285 }
2286 }
2287 #endif // SWIG
2288
2289 // Internal stuff --------------------------------------------------
2290 // These methods MUST NOT be called from outside the proto2 library.
2291 // These methods may contain hidden pitfalls and may be removed in a
2292 // future library version.
2293
2294 // Create a DescriptorPool which is overlaid on top of some other pool.
2295 // If you search for a descriptor in the overlay and it is not found, the
2296 // underlay will be searched as a backup. If the underlay has its own
2297 // underlay, that will be searched next, and so on. This also means that
2298 // files built in the overlay will be cross-linked with the underlay's
2299 // descriptors if necessary. The underlay remains property of the caller;
2300 // it must remain valid for the lifetime of the newly-constructed pool.
2301 //
2302 // Example: Say you want to parse a .proto file at runtime in order to use
2303 // its type with a DynamicMessage. Say this .proto file has dependencies,
2304 // but you know that all the dependencies will be things that are already
2305 // compiled into the binary. For ease of use, you'd like to load the types
2306 // right out of generated_pool() rather than have to parse redundant copies
2307 // of all these .protos and runtime. But, you don't want to add the parsed
2308 // types directly into generated_pool(): this is not allowed, and would be
2309 // bad design anyway. So, instead, you could use generated_pool() as an
2310 // underlay for a new DescriptorPool in which you add only the new file.
2311 //
2312 // WARNING: Use of underlays can lead to many subtle gotchas. Instead,
2313 // try to formulate what you want to do in terms of DescriptorDatabases.
2314 explicit DescriptorPool(const DescriptorPool* underlay);
2315
2316 // Called by generated classes at init time to add their descriptors to
2317 // generated_pool. Do NOT call this in your own code! filename must be a
2318 // permanent string (e.g. a string literal).
2319 static void InternalAddGeneratedFile(const void* encoded_file_descriptor,
2320 int size);
2321
2322 // Disallow [enforce_utf8 = false] in .proto files.
DisallowEnforceUtf8()2323 void DisallowEnforceUtf8() { disallow_enforce_utf8_ = true; }
2324
2325 // Use the deprecated legacy behavior for handling JSON field name conflicts.
2326 ABSL_DEPRECATED("Deprecated treatment of field name conflicts is enabled.")
UseDeprecatedLegacyJsonFieldConflicts()2327 void UseDeprecatedLegacyJsonFieldConflicts() {
2328 deprecated_legacy_json_field_conflicts_ = true;
2329 }
2330
2331
2332 // For internal use only: Gets a non-const pointer to the generated pool.
2333 // This is called at static-initialization time only, so thread-safety is
2334 // not a concern. If both an underlay and a fallback database are present,
2335 // the underlay takes precedence.
2336 static DescriptorPool* internal_generated_pool();
2337
2338 // For internal use only: Gets a non-const pointer to the generated
2339 // descriptor database.
2340 // Only used for testing.
2341 static DescriptorDatabase* internal_generated_database();
2342
2343 // For internal use only: Changes the behavior of BuildFile() such that it
2344 // allows the file to make reference to message types declared in other files
2345 // which it did not officially declare as dependencies.
2346 void InternalDontEnforceDependencies();
2347
2348 // For internal use only: Enables lazy building of dependencies of a file.
2349 // Delay the building of dependencies of a file descriptor until absolutely
2350 // necessary, like when message_type() is called on a field that is defined
2351 // in that dependency's file. This will cause functional issues if a proto
2352 // or one of its dependencies has errors. Should only be enabled for the
2353 // generated_pool_ (because no descriptor build errors are guaranteed by
2354 // the compilation generation process), testing, or if a lack of descriptor
2355 // build errors can be guaranteed for a pool.
InternalSetLazilyBuildDependencies()2356 void InternalSetLazilyBuildDependencies() {
2357 lazily_build_dependencies_ = true;
2358 // This needs to be set when lazily building dependencies, as it breaks
2359 // dependency checking.
2360 InternalDontEnforceDependencies();
2361 }
2362
2363 // For internal use only.
internal_set_underlay(const DescriptorPool * underlay)2364 void internal_set_underlay(const DescriptorPool* underlay) {
2365 underlay_ = underlay;
2366 }
2367
2368 // For internal (unit test) use only: Returns true if a FileDescriptor has
2369 // been constructed for the given file, false otherwise. Useful for testing
2370 // lazy descriptor initialization behavior.
2371 bool InternalIsFileLoaded(absl::string_view filename) const;
2372
2373 // Add a file to to apply more strict checks to.
2374 // - unused imports will log either warnings or errors.
2375 // - deprecated features will log warnings.
2376 void AddDirectInputFile(absl::string_view file_name,
2377 bool unused_import_is_error = false);
2378 void ClearDirectInputFiles();
2379
2380 #if !defined(PROTOBUF_FUTURE_RENAME_ADD_UNUSED_IMPORT) && !defined(SWIG)
2381 ABSL_DEPRECATED("Use AddDirectInputFile")
2382 void AddUnusedImportTrackFile(absl::string_view file_name,
2383 bool is_error = false) {
2384 AddDirectInputFile(file_name, is_error);
2385 }
2386 ABSL_DEPRECATED("Use AddDirectInputFile")
ClearUnusedImportTrackFiles()2387 void ClearUnusedImportTrackFiles() { ClearDirectInputFiles(); }
2388 #endif // !PROTOBUF_FUTURE_RENAME_ADD_UNUSED_IMPORT && !SWIG
2389
2390
2391 private:
2392 friend class Descriptor;
2393 friend class internal::LazyDescriptor;
2394 friend class FieldDescriptor;
2395 friend class EnumDescriptor;
2396 friend class ServiceDescriptor;
2397 friend class MethodDescriptor;
2398 friend class FileDescriptor;
2399 friend class DescriptorBuilder;
2400 friend class FileDescriptorTables;
2401 friend class google::protobuf::descriptor_unittest::ValidationErrorTest;
2402 friend class ::google::protobuf::compiler::CommandLineInterface;
2403
2404 // Return true if the given name is a sub-symbol of any non-package
2405 // descriptor that already exists in the descriptor pool. (The full
2406 // definition of such types is already known.)
2407 bool IsSubSymbolOfBuiltType(absl::string_view name) const;
2408
2409 // Tries to find something in the fallback database and link in the
2410 // corresponding proto file. Returns true if successful, in which case
2411 // the caller should search for the thing again. These are declared
2412 // const because they are called by (semantically) const methods.
2413 // DeferredValidation stores temporary information necessary to run validation
2414 // checks that can't be done inside the database lock. This is generally
2415 // reflective operations that also require the lock to do safely.
2416 class DeferredValidation;
2417 bool TryFindFileInFallbackDatabase(
2418 absl::string_view name, DeferredValidation& deferred_validation) const;
2419 bool TryFindSymbolInFallbackDatabase(
2420 absl::string_view name, DeferredValidation& deferred_validation) const;
2421 bool TryFindExtensionInFallbackDatabase(
2422 const Descriptor* containing_type, int field_number,
2423 DeferredValidation& deferred_validation) const;
2424
2425 // This internal find extension method only check with its table and underlay
2426 // descriptor_pool's table. It does not check with fallback DB and no
2427 // additional proto file will be build in this method.
2428 const FieldDescriptor* InternalFindExtensionByNumberNoLock(
2429 const Descriptor* extendee, int number) const;
2430
2431 // Like BuildFile() but called internally when the file has been loaded from
2432 // fallback_database_. Declared const because it is called by (semantically)
2433 // const methods.
2434 const FileDescriptor* BuildFileFromDatabase(
2435 const FileDescriptorProto& proto,
2436 DeferredValidation& deferred_validation) const;
2437
2438 // Helper for when lazily_build_dependencies_ is set, can look up a symbol
2439 // after the file's descriptor is built, and can build the file where that
2440 // symbol is defined if necessary. Will create a placeholder if the type
2441 // doesn't exist in the fallback database, or the file doesn't build
2442 // successfully.
2443 Symbol CrossLinkOnDemandHelper(absl::string_view name,
2444 bool expecting_enum) const;
2445
2446 // Create a placeholder FileDescriptor of the specified name
2447 FileDescriptor* NewPlaceholderFile(absl::string_view name) const;
2448 FileDescriptor* NewPlaceholderFileWithMutexHeld(
2449 absl::string_view name, internal::FlatAllocator& alloc) const;
2450
2451 enum PlaceholderType {
2452 PLACEHOLDER_MESSAGE,
2453 PLACEHOLDER_ENUM,
2454 PLACEHOLDER_EXTENDABLE_MESSAGE
2455 };
2456 // Create a placeholder Descriptor of the specified name
2457 Symbol NewPlaceholder(absl::string_view name,
2458 PlaceholderType placeholder_type) const;
2459 Symbol NewPlaceholderWithMutexHeld(absl::string_view name,
2460 PlaceholderType placeholder_type) const;
2461
2462 // If fallback_database_ is nullptr, this is nullptr. Otherwise, this is a
2463 // mutex which must be locked while accessing tables_.
2464 absl::Mutex* mutex_;
2465
2466 // See constructor.
2467 DescriptorDatabase* fallback_database_;
2468 ErrorCollector* default_error_collector_;
2469 const DescriptorPool* underlay_;
2470
2471 #ifndef SWIG
2472 // Dispatcher for recursive calls during builds.
2473 std::unique_ptr<absl::AnyInvocable<void(absl::FunctionRef<void()>) const>>
2474 dispatcher_;
2475 #endif // SWIG
2476
2477 // This class contains a lot of hash maps with complicated types that
2478 // we'd like to keep out of the header.
2479 class Tables;
2480 std::unique_ptr<Tables> tables_;
2481
2482 bool enforce_dependencies_;
2483 bool lazily_build_dependencies_;
2484 bool allow_unknown_;
2485 bool enforce_weak_;
2486 bool enforce_extension_declarations_;
2487 bool disallow_enforce_utf8_;
2488 bool deprecated_legacy_json_field_conflicts_;
2489 mutable bool build_started_ = false;
2490
2491 // Set of files to track for additional validation. The bool value when true
2492 // means unused imports are treated as errors (and as warnings when false).
2493 absl::flat_hash_map<std::string, bool> direct_input_files_;
2494
2495 // Specification of defaults to use for feature resolution. This defaults to
2496 // just the global and C++ features, but can be overridden for other runtimes.
2497 std::unique_ptr<FeatureSetDefaults> feature_set_defaults_spec_;
2498
2499 // Returns true if the field extends an option message of descriptor.proto.
2500 bool IsReadyForCheckingDescriptorExtDecl(
2501 absl::string_view message_name) const;
2502
2503 };
2504
2505
2506 // inline methods ====================================================
2507
2508 // These macros makes this repetitive code more readable.
2509 #define PROTOBUF_DEFINE_ACCESSOR(CLASS, FIELD, TYPE) \
2510 inline TYPE CLASS::FIELD() const { return FIELD##_; }
2511
2512 // Strings fields are stored as pointers but returned as const references.
2513 #define PROTOBUF_DEFINE_STRING_ACCESSOR(CLASS, FIELD) \
2514 inline internal::DescriptorStringView CLASS::FIELD() const { \
2515 return *FIELD##_; \
2516 }
2517
2518 // Name and full name are stored in a single array to save space.
2519 #define PROTOBUF_DEFINE_NAME_ACCESSOR(CLASS) \
2520 inline internal::DescriptorStringView CLASS::name() const { \
2521 return all_names_[0]; \
2522 } \
2523 inline internal::DescriptorStringView CLASS::full_name() const { \
2524 return all_names_[1]; \
2525 }
2526
2527 // Arrays take an index parameter, obviously.
2528 #define PROTOBUF_DEFINE_ARRAY_ACCESSOR(CLASS, FIELD, TYPE) \
2529 inline TYPE CLASS::FIELD(int index) const { \
2530 ABSL_DCHECK_LE(0, index); \
2531 ABSL_DCHECK_LT(index, FIELD##_count()); \
2532 return FIELD##s_ + index; \
2533 }
2534
2535 #define PROTOBUF_DEFINE_OPTIONS_ACCESSOR(CLASS, TYPE) \
2536 inline const TYPE& CLASS::options() const { return *options_; }
2537
2538 PROTOBUF_DEFINE_NAME_ACCESSOR(Descriptor)
PROTOBUF_DEFINE_ACCESSOR(Descriptor,file,const FileDescriptor *)2539 PROTOBUF_DEFINE_ACCESSOR(Descriptor, file, const FileDescriptor*)
2540 PROTOBUF_DEFINE_ACCESSOR(Descriptor, containing_type, const Descriptor*)
2541
2542 PROTOBUF_DEFINE_ACCESSOR(Descriptor, field_count, int)
2543 PROTOBUF_DEFINE_ACCESSOR(Descriptor, oneof_decl_count, int)
2544 PROTOBUF_DEFINE_ACCESSOR(Descriptor, real_oneof_decl_count, int)
2545 PROTOBUF_DEFINE_ACCESSOR(Descriptor, nested_type_count, int)
2546 PROTOBUF_DEFINE_ACCESSOR(Descriptor, enum_type_count, int)
2547
2548 PROTOBUF_DEFINE_ARRAY_ACCESSOR(Descriptor, field, const FieldDescriptor*)
2549 PROTOBUF_DEFINE_ARRAY_ACCESSOR(Descriptor, oneof_decl, const OneofDescriptor*)
2550 PROTOBUF_DEFINE_ARRAY_ACCESSOR(Descriptor, nested_type, const Descriptor*)
2551 PROTOBUF_DEFINE_ARRAY_ACCESSOR(Descriptor, enum_type, const EnumDescriptor*)
2552 inline const OneofDescriptor* Descriptor::real_oneof_decl(int index) const {
2553 ABSL_DCHECK(index < real_oneof_decl_count());
2554 return oneof_decl(index);
2555 }
2556
PROTOBUF_DEFINE_ACCESSOR(Descriptor,extension_range_count,int)2557 PROTOBUF_DEFINE_ACCESSOR(Descriptor, extension_range_count, int)
2558 PROTOBUF_DEFINE_ACCESSOR(Descriptor, extension_count, int)
2559 PROTOBUF_DEFINE_ARRAY_ACCESSOR(Descriptor, extension_range,
2560 const Descriptor::ExtensionRange*)
2561 PROTOBUF_DEFINE_ARRAY_ACCESSOR(Descriptor, extension, const FieldDescriptor*)
2562
2563 PROTOBUF_DEFINE_ACCESSOR(Descriptor, reserved_range_count, int)
2564 PROTOBUF_DEFINE_ARRAY_ACCESSOR(Descriptor, reserved_range,
2565 const Descriptor::ReservedRange*)
2566 PROTOBUF_DEFINE_ACCESSOR(Descriptor, reserved_name_count, int)
2567
2568 PROTOBUF_DEFINE_OPTIONS_ACCESSOR(Descriptor, MessageOptions)
2569 PROTOBUF_DEFINE_ACCESSOR(Descriptor, is_placeholder, bool)
2570
2571 PROTOBUF_DEFINE_NAME_ACCESSOR(FieldDescriptor)
2572 PROTOBUF_DEFINE_ACCESSOR(FieldDescriptor, file, const FileDescriptor*)
2573 PROTOBUF_DEFINE_ACCESSOR(FieldDescriptor, number, int)
2574 PROTOBUF_DEFINE_ACCESSOR(FieldDescriptor, is_extension, bool)
2575 PROTOBUF_DEFINE_ACCESSOR(FieldDescriptor, containing_type, const Descriptor*)
2576 PROTOBUF_DEFINE_OPTIONS_ACCESSOR(FieldDescriptor, FieldOptions)
2577 PROTOBUF_DEFINE_ACCESSOR(FieldDescriptor, has_default_value, bool)
2578 PROTOBUF_DEFINE_ACCESSOR(FieldDescriptor, has_json_name, bool)
2579 PROTOBUF_DEFINE_ACCESSOR(FieldDescriptor, default_value_int32_t, int32_t)
2580 PROTOBUF_DEFINE_ACCESSOR(FieldDescriptor, default_value_int64_t, int64_t)
2581 PROTOBUF_DEFINE_ACCESSOR(FieldDescriptor, default_value_uint32_t, uint32_t)
2582 PROTOBUF_DEFINE_ACCESSOR(FieldDescriptor, default_value_uint64_t, uint64_t)
2583 PROTOBUF_DEFINE_ACCESSOR(FieldDescriptor, default_value_float, float)
2584 PROTOBUF_DEFINE_ACCESSOR(FieldDescriptor, default_value_double, double)
2585 PROTOBUF_DEFINE_ACCESSOR(FieldDescriptor, default_value_bool, bool)
2586 PROTOBUF_DEFINE_STRING_ACCESSOR(FieldDescriptor, default_value_string)
2587
2588 PROTOBUF_DEFINE_NAME_ACCESSOR(OneofDescriptor)
2589 PROTOBUF_DEFINE_ACCESSOR(OneofDescriptor, containing_type, const Descriptor*)
2590 PROTOBUF_DEFINE_ACCESSOR(OneofDescriptor, field_count, int)
2591 PROTOBUF_DEFINE_ARRAY_ACCESSOR(OneofDescriptor, field, const FieldDescriptor*)
2592 PROTOBUF_DEFINE_OPTIONS_ACCESSOR(OneofDescriptor, OneofOptions)
2593
2594 PROTOBUF_DEFINE_NAME_ACCESSOR(EnumDescriptor)
2595 PROTOBUF_DEFINE_ACCESSOR(EnumDescriptor, file, const FileDescriptor*)
2596 PROTOBUF_DEFINE_ACCESSOR(EnumDescriptor, containing_type, const Descriptor*)
2597 PROTOBUF_DEFINE_ACCESSOR(EnumDescriptor, value_count, int)
2598 PROTOBUF_DEFINE_ARRAY_ACCESSOR(EnumDescriptor, value,
2599 const EnumValueDescriptor*)
2600 PROTOBUF_DEFINE_OPTIONS_ACCESSOR(EnumDescriptor, EnumOptions)
2601 PROTOBUF_DEFINE_ACCESSOR(EnumDescriptor, is_placeholder, bool)
2602 PROTOBUF_DEFINE_ACCESSOR(EnumDescriptor, reserved_range_count, int)
2603 PROTOBUF_DEFINE_ARRAY_ACCESSOR(EnumDescriptor, reserved_range,
2604 const EnumDescriptor::ReservedRange*)
2605 PROTOBUF_DEFINE_ACCESSOR(EnumDescriptor, reserved_name_count, int)
2606
2607 PROTOBUF_DEFINE_NAME_ACCESSOR(EnumValueDescriptor)
2608 PROTOBUF_DEFINE_ACCESSOR(EnumValueDescriptor, number, int)
2609 PROTOBUF_DEFINE_ACCESSOR(EnumValueDescriptor, type, const EnumDescriptor*)
2610 PROTOBUF_DEFINE_OPTIONS_ACCESSOR(EnumValueDescriptor, EnumValueOptions)
2611
2612 PROTOBUF_DEFINE_NAME_ACCESSOR(ServiceDescriptor)
2613 PROTOBUF_DEFINE_ACCESSOR(ServiceDescriptor, file, const FileDescriptor*)
2614 PROTOBUF_DEFINE_ACCESSOR(ServiceDescriptor, method_count, int)
2615 PROTOBUF_DEFINE_ARRAY_ACCESSOR(ServiceDescriptor, method,
2616 const MethodDescriptor*)
2617 PROTOBUF_DEFINE_OPTIONS_ACCESSOR(ServiceDescriptor, ServiceOptions)
2618
2619 PROTOBUF_DEFINE_NAME_ACCESSOR(MethodDescriptor)
2620 PROTOBUF_DEFINE_ACCESSOR(MethodDescriptor, service, const ServiceDescriptor*)
2621 PROTOBUF_DEFINE_OPTIONS_ACCESSOR(MethodDescriptor, MethodOptions)
2622 PROTOBUF_DEFINE_ACCESSOR(MethodDescriptor, client_streaming, bool)
2623 PROTOBUF_DEFINE_ACCESSOR(MethodDescriptor, server_streaming, bool)
2624
2625 PROTOBUF_DEFINE_STRING_ACCESSOR(FileDescriptor, name)
2626 PROTOBUF_DEFINE_STRING_ACCESSOR(FileDescriptor, package)
2627 PROTOBUF_DEFINE_ACCESSOR(FileDescriptor, pool, const DescriptorPool*)
2628 PROTOBUF_DEFINE_ACCESSOR(FileDescriptor, dependency_count, int)
2629 PROTOBUF_DEFINE_ACCESSOR(FileDescriptor, public_dependency_count, int)
2630 PROTOBUF_DEFINE_ACCESSOR(FileDescriptor, weak_dependency_count, int)
2631 PROTOBUF_DEFINE_ACCESSOR(FileDescriptor, message_type_count, int)
2632 PROTOBUF_DEFINE_ACCESSOR(FileDescriptor, enum_type_count, int)
2633 PROTOBUF_DEFINE_ACCESSOR(FileDescriptor, service_count, int)
2634 PROTOBUF_DEFINE_ACCESSOR(FileDescriptor, extension_count, int)
2635 PROTOBUF_DEFINE_OPTIONS_ACCESSOR(FileDescriptor, FileOptions)
2636 PROTOBUF_DEFINE_ACCESSOR(FileDescriptor, is_placeholder, bool)
2637
2638 PROTOBUF_DEFINE_ARRAY_ACCESSOR(FileDescriptor, message_type, const Descriptor*)
2639 PROTOBUF_DEFINE_ARRAY_ACCESSOR(FileDescriptor, enum_type, const EnumDescriptor*)
2640 PROTOBUF_DEFINE_ARRAY_ACCESSOR(FileDescriptor, service,
2641 const ServiceDescriptor*)
2642 PROTOBUF_DEFINE_ARRAY_ACCESSOR(FileDescriptor, extension,
2643 const FieldDescriptor*)
2644
2645 #undef PROTOBUF_DEFINE_ACCESSOR
2646 #undef PROTOBUF_DEFINE_STRING_ACCESSOR
2647 #undef PROTOBUF_DEFINE_ARRAY_ACCESSOR
2648
2649 // A few accessors differ from the macros...
2650
2651 inline Descriptor::WellKnownType Descriptor::well_known_type() const {
2652 return static_cast<Descriptor::WellKnownType>(well_known_type_);
2653 }
2654
IsExtensionNumber(int number)2655 inline bool Descriptor::IsExtensionNumber(int number) const {
2656 return FindExtensionRangeContainingNumber(number) != nullptr;
2657 }
2658
IsReservedNumber(int number)2659 inline bool Descriptor::IsReservedNumber(int number) const {
2660 return FindReservedRangeContainingNumber(number) != nullptr;
2661 }
2662
IsReservedName(absl::string_view name)2663 inline bool Descriptor::IsReservedName(absl::string_view name) const {
2664 for (int i = 0; i < reserved_name_count(); i++) {
2665 if (name == static_cast<absl::string_view>(reserved_name(i))) {
2666 return true;
2667 }
2668 }
2669 return false;
2670 }
2671
2672 // Can't use PROTOBUF_DEFINE_ARRAY_ACCESSOR because reserved_names_ is actually
2673 // an array of pointers rather than the usual array of objects.
reserved_name(int index)2674 inline internal::DescriptorStringView Descriptor::reserved_name(
2675 int index) const {
2676 return *reserved_names_[index];
2677 }
2678
IsReservedNumber(int number)2679 inline bool EnumDescriptor::IsReservedNumber(int number) const {
2680 return FindReservedRangeContainingNumber(number) != nullptr;
2681 }
2682
IsReservedName(absl::string_view name)2683 inline bool EnumDescriptor::IsReservedName(absl::string_view name) const {
2684 for (int i = 0; i < reserved_name_count(); i++) {
2685 if (name == static_cast<absl::string_view>(reserved_name(i))) {
2686 return true;
2687 }
2688 }
2689 return false;
2690 }
2691
2692 // Can't use PROTOBUF_DEFINE_ARRAY_ACCESSOR because reserved_names_ is actually
2693 // an array of pointers rather than the usual array of objects.
reserved_name(int index)2694 inline internal::DescriptorStringView EnumDescriptor::reserved_name(
2695 int index) const {
2696 return *reserved_names_[index];
2697 }
2698
lowercase_name()2699 inline internal::DescriptorStringView FieldDescriptor::lowercase_name() const {
2700 return all_names_[lowercase_name_index_];
2701 }
2702
camelcase_name()2703 inline internal::DescriptorStringView FieldDescriptor::camelcase_name() const {
2704 return all_names_[camelcase_name_index_];
2705 }
2706
json_name()2707 inline internal::DescriptorStringView FieldDescriptor::json_name() const {
2708 return all_names_[json_name_index_];
2709 }
2710
containing_oneof()2711 inline const OneofDescriptor* FieldDescriptor::containing_oneof() const {
2712 if (is_oneof_) {
2713 auto* res = scope_.containing_oneof;
2714 PROTOBUF_ASSUME(res != nullptr);
2715 return res;
2716 }
2717 return nullptr;
2718 }
2719
index_in_oneof()2720 inline int FieldDescriptor::index_in_oneof() const {
2721 ABSL_DCHECK(is_oneof_);
2722 return static_cast<int>(this - scope_.containing_oneof->field(0));
2723 }
2724
extension_scope()2725 inline const Descriptor* FieldDescriptor::extension_scope() const {
2726 ABSL_CHECK(is_extension_);
2727 return scope_.extension_scope;
2728 }
2729
label()2730 inline FieldDescriptor::Label FieldDescriptor::label() const {
2731 return static_cast<Label>(label_);
2732 }
2733
type()2734 inline FieldDescriptor::Type FieldDescriptor::type() const {
2735 return static_cast<Type>(type_);
2736 }
2737
is_optional()2738 inline bool FieldDescriptor::is_optional() const {
2739 return label() == LABEL_OPTIONAL;
2740 }
2741
is_repeated()2742 inline bool FieldDescriptor::is_repeated() const {
2743 ABSL_DCHECK_EQ(is_repeated_, label() == LABEL_REPEATED);
2744 return is_repeated_;
2745 }
2746
is_packable()2747 inline bool FieldDescriptor::is_packable() const {
2748 return is_repeated() && IsTypePackable(type());
2749 }
2750
is_map()2751 inline bool FieldDescriptor::is_map() const {
2752 return type() == TYPE_MESSAGE && is_map_message_type();
2753 }
2754
real_containing_oneof()2755 inline const OneofDescriptor* FieldDescriptor::real_containing_oneof() const {
2756 if (in_real_oneof_) {
2757 auto* res = containing_oneof();
2758 PROTOBUF_ASSUME(res != nullptr);
2759 ABSL_DCHECK(!res->is_synthetic());
2760 return res;
2761 }
2762 return nullptr;
2763 }
2764
2765 // To save space, index() is computed by looking at the descriptor's position
2766 // in the parent's array of children.
index()2767 inline int FieldDescriptor::index() const {
2768 if (!is_extension_) {
2769 return static_cast<int>(this - containing_type()->fields_);
2770 } else if (extension_scope() != nullptr) {
2771 return static_cast<int>(this - extension_scope()->extensions_);
2772 } else {
2773 return static_cast<int>(this - file_->extensions_);
2774 }
2775 }
2776
index()2777 inline int Descriptor::index() const {
2778 if (containing_type_ == nullptr) {
2779 return static_cast<int>(this - file_->message_types_);
2780 } else {
2781 return static_cast<int>(this - containing_type_->nested_types_);
2782 }
2783 }
2784
index()2785 inline int Descriptor::ExtensionRange::index() const {
2786 return static_cast<int>(this - containing_type_->extension_ranges_);
2787 }
2788
file()2789 inline const FileDescriptor* OneofDescriptor::file() const {
2790 return containing_type()->file();
2791 }
2792
index()2793 inline int OneofDescriptor::index() const {
2794 return static_cast<int>(this - containing_type_->oneof_decls_);
2795 }
2796
is_synthetic()2797 inline bool OneofDescriptor::is_synthetic() const {
2798 return field_count() == 1 && field(0)->proto3_optional_;
2799 }
2800
index()2801 inline int EnumDescriptor::index() const {
2802 if (containing_type_ == nullptr) {
2803 return static_cast<int>(this - file_->enum_types_);
2804 } else {
2805 return static_cast<int>(this - containing_type_->enum_types_);
2806 }
2807 }
2808
file()2809 inline const FileDescriptor* EnumValueDescriptor::file() const {
2810 return type()->file();
2811 }
2812
index()2813 inline int EnumValueDescriptor::index() const {
2814 return static_cast<int>(this - type_->values_);
2815 }
2816
index()2817 inline int ServiceDescriptor::index() const {
2818 return static_cast<int>(this - file_->services_);
2819 }
2820
file()2821 inline const FileDescriptor* MethodDescriptor::file() const {
2822 return service()->file();
2823 }
2824
index()2825 inline int MethodDescriptor::index() const {
2826 return static_cast<int>(this - service_->methods_);
2827 }
2828
type_name()2829 inline const char* FieldDescriptor::type_name() const {
2830 return kTypeToName[type()];
2831 }
2832
cpp_type()2833 inline FieldDescriptor::CppType FieldDescriptor::cpp_type() const {
2834 return kTypeToCppTypeMap[type()];
2835 }
2836
cpp_type_name()2837 inline const char* FieldDescriptor::cpp_type_name() const {
2838 return kCppTypeToName[kTypeToCppTypeMap[type()]];
2839 }
2840
TypeToCppType(Type type)2841 inline FieldDescriptor::CppType FieldDescriptor::TypeToCppType(Type type) {
2842 return kTypeToCppTypeMap[type];
2843 }
2844
TypeName(Type type)2845 inline const char* FieldDescriptor::TypeName(Type type) {
2846 return kTypeToName[type];
2847 }
2848
CppTypeName(CppType cpp_type)2849 inline const char* FieldDescriptor::CppTypeName(CppType cpp_type) {
2850 return kCppTypeToName[cpp_type];
2851 }
2852
IsTypePackable(Type field_type)2853 inline bool FieldDescriptor::IsTypePackable(Type field_type) {
2854 return (field_type != FieldDescriptor::TYPE_STRING &&
2855 field_type != FieldDescriptor::TYPE_GROUP &&
2856 field_type != FieldDescriptor::TYPE_MESSAGE &&
2857 field_type != FieldDescriptor::TYPE_BYTES);
2858 }
2859
public_dependency(int index)2860 inline const FileDescriptor* FileDescriptor::public_dependency(
2861 int index) const {
2862 return dependency(public_dependencies_[index]);
2863 }
2864
weak_dependency(int index)2865 inline const FileDescriptor* FileDescriptor::weak_dependency(int index) const {
2866 return dependency(weak_dependencies_[index]);
2867 }
2868
2869 namespace internal {
2870
DefaultValueStringAsString(const FieldDescriptor * field)2871 inline const std::string& DefaultValueStringAsString(
2872 const FieldDescriptor* field) {
2873 return *field->default_value_string_;
2874 }
2875
NameOfEnumAsString(const EnumValueDescriptor * descriptor)2876 inline const std::string& NameOfEnumAsString(
2877 const EnumValueDescriptor* descriptor) {
2878 return descriptor->all_names_[0];
2879 }
2880
IsEnumFullySequential(const EnumDescriptor * enum_desc)2881 inline bool IsEnumFullySequential(const EnumDescriptor* enum_desc) {
2882 return enum_desc->sequential_value_limit_ == enum_desc->value_count() - 1;
2883 }
2884
2885 // FieldRange(desc) provides an iterable range for the fields of a
2886 // descriptor type, appropriate for range-for loops.
2887
2888 template <typename T>
2889 struct FieldRangeImpl;
2890
2891 template <typename T>
FieldRange(const T * desc)2892 FieldRangeImpl<T> FieldRange(const T* desc) {
2893 return {desc};
2894 }
2895
2896 template <typename T>
2897 struct FieldRangeImpl {
2898 struct Iterator {
2899 using iterator_category = std::forward_iterator_tag;
2900 using value_type = const FieldDescriptor*;
2901 using difference_type = int;
2902
2903 value_type operator*() { return descriptor->field(idx); }
2904
2905 friend bool operator==(const Iterator& a, const Iterator& b) {
2906 ABSL_DCHECK(a.descriptor == b.descriptor);
2907 return a.idx == b.idx;
2908 }
2909 friend bool operator!=(const Iterator& a, const Iterator& b) {
2910 return !(a == b);
2911 }
2912
2913 Iterator& operator++() {
2914 idx++;
2915 return *this;
2916 }
2917
2918 int idx;
2919 const T* descriptor;
2920 };
2921
beginFieldRangeImpl2922 Iterator begin() const { return {0, descriptor}; }
endFieldRangeImpl2923 Iterator end() const { return {descriptor->field_count(), descriptor}; }
2924
2925 const T* descriptor;
2926 };
2927
2928 // While building descriptors, we need to avoid using MergeFrom()/CopyFrom() to
2929 // be -fno-rtti friendly. Without RTTI, MergeFrom() and CopyFrom() will fallback
2930 // to the reflection based method, which requires the Descriptor. However, while
2931 // building the descriptors, this causes deadlock. We also must disable lazy
2932 // parsing because that uses reflection to verify consistency.
2933 bool ParseNoReflection(absl::string_view from, google::protobuf::MessageLite& to);
2934
2935 // The context for these functions under `cpp` is "for the C++ implementation".
2936 // In particular, questions like "does this field have a has bit?" have a
2937 // different answer depending on the language.
2938 namespace cpp {
2939
2940 // The maximum allowed nesting for message declarations.
2941 // Going over this limit will make the proto definition invalid.
MaxMessageDeclarationNestingDepth()2942 constexpr int MaxMessageDeclarationNestingDepth() { return 32; }
2943
2944 // Returns true if 'enum' semantics are such that unknown values are preserved
2945 // in the enum field itself, rather than going to the UnknownFieldSet.
2946 PROTOBUF_EXPORT bool HasPreservingUnknownEnumSemantics(
2947 const FieldDescriptor* field);
2948
2949 PROTOBUF_EXPORT bool HasHasbit(const FieldDescriptor* field);
2950
2951 #ifndef SWIG
2952 // For a string field, returns the effective ctype. If the actual ctype is
2953 // not supported, returns the default of STRING.
2954 template <typename FieldDesc = FieldDescriptor,
2955 typename FieldOpts = FieldOptions>
EffectiveStringCType(const FieldDesc * field)2956 typename FieldOpts::CType EffectiveStringCType(const FieldDesc* field) {
2957 // TODO Replace this function with
2958 // FieldDescriptor::cpp_string_type;
2959 switch (field->cpp_string_type()) {
2960 case FieldDescriptor::CppStringType::kCord:
2961 return FieldOpts::CORD;
2962 default:
2963 return FieldOpts::STRING;
2964 }
2965 }
2966
2967 enum class Utf8CheckMode : uint8_t {
2968 kStrict = 0, // Parsing will fail if non UTF-8 data is in string fields.
2969 kVerify = 1, // Only log an error but parsing will succeed.
2970 kNone = 2, // No UTF-8 check.
2971 };
2972 PROTOBUF_EXPORT Utf8CheckMode GetUtf8CheckMode(const FieldDescriptor* field,
2973 bool is_lite);
2974
2975 // Returns true if the field is a "group-like field" consistent with a proto2
2976 // group:
2977 // - Message encoding is DELIMITED (synonymous with type TYPE_GROUP)
2978 // - Field name is exactly the message name lowercased
2979 // - Message is defined within the same scope as the field
2980 PROTOBUF_EXPORT bool IsGroupLike(const FieldDescriptor& field);
2981
2982 // Returns whether or not this file is lazily initialized rather than
2983 // pre-main via static initialization. This has to be done for our bootstrapped
2984 // protos to avoid linker bloat in lite runtimes.
2985 PROTOBUF_EXPORT bool IsLazilyInitializedFile(absl::string_view filename);
2986
2987 // Returns true during internal calls that should avoid calling trackers. These
2988 // calls can be particularly dangerous during build steps like feature
2989 // resolution, where a MergeFrom call can wind up in a deadlock.
2990 PROTOBUF_EXPORT bool IsTrackingEnabled();
2991
2992 template <typename F>
2993 auto VisitDescriptorsInFileOrder(const Descriptor* desc,
2994 F& f) -> decltype(f(desc)) {
2995 for (int i = 0; i < desc->nested_type_count(); i++) {
2996 if (auto res = VisitDescriptorsInFileOrder(desc->nested_type(i), f)) {
2997 return res;
2998 }
2999 }
3000 if (auto res = f(desc)) return res;
3001 return {};
3002 }
3003
3004 // Visit the messages in post-order traversal.
3005 // We need several pieces of code to follow the same order because we use the
3006 // index of types during array lookups.
3007 // If any call returns a "truthy" value, it stops visitation and returns that
3008 // value right away. Otherwise returns `{}` after visiting all types.
3009 template <typename F>
3010 auto VisitDescriptorsInFileOrder(const FileDescriptor* file,
3011 F f) -> decltype(f(file->message_type(0))) {
3012 for (int i = 0; i < file->message_type_count(); i++) {
3013 if (auto res = VisitDescriptorsInFileOrder(file->message_type(i), f)) {
3014 return res;
3015 }
3016 }
3017 return {};
3018 }
3019 #endif // !SWIG
3020
3021 } // namespace cpp
3022 } // namespace internal
3023
3024 } // namespace protobuf
3025 } // namespace google
3026
3027 #undef PROTOBUF_INTERNAL_CHECK_CLASS_SIZE
3028 #include "google/protobuf/port_undef.inc"
3029
3030 #endif // GOOGLE_PROTOBUF_DESCRIPTOR_H__
3031