folly/Preprocessor.h

   1 /*
   2  * Copyright 2016 Facebook, Inc.
   3  *
   4  * Licensed under the Apache License, Version 2.0 (the "License");
   5  * you may not use this file except in compliance with the License.
   6  * You may obtain a copy of the License at
   7  *
   8  *   http://www.apache.org/licenses/LICENSE-2.0
   9  *
  10  * Unless required by applicable law or agreed to in writing, software
  11  * distributed under the License is distributed on an "AS IS" BASIS,
  12  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  13  * See the License for the specific language governing permissions and
  14  * limitations under the License.
  15  */
  16
  17 // @author: Andrei Alexandrescu
  18
  19 #pragma once
  20
  21 /**
  22  * Necessarily evil preprocessor-related amenities.
  23  */
  24
  25 /**
  26  * FB_ONE_OR_NONE(hello, world) expands to hello and
  27  * FB_ONE_OR_NONE(hello) expands to nothing. This macro is used to
  28  * insert or eliminate text based on the presence of another argument.
  29  */
  30 #ifdef _MSC_VER
  31
  32 #define VA_NARGS_IMPL(_1, _2, _3, _4, _5, N, ...) N
  33 #define VA_NARGS(...) VA_NARGS_IMPL(X,##__VA_ARGS__, 4, 3, 2, 1, 0)
  34 #define VARARG_IMPL2(base, count, ...) base##count(__VA_ARGS__)
  35 #define VARARG_IMPL(base, count, ...) VARARG_IMPL2(base, count, __VA_ARGS__)
  36 #define VARARG(base, ...) VARARG_IMPL(base, VA_NARGS(__VA_ARGS__), __VA_ARGS__)
  37
  38 #define FB_ONE_OR_NONE0() /* */
  39 #define FB_ONE_OR_NONE1(x) /* */
  40 #define FB_ONE_OR_NONE2(x, y) x
  41 #define FB_ONE_OR_NONE3(x, y, z) x
  42 #define FB_ONE_OR_NONE(...) VARARG(FB_ONE_OR_NONE, __VA_ARGS__)
  43
  44 #else
  45 #define FB_ONE_OR_NONE(a, ...) FB_THIRD(a, ## __VA_ARGS__, a)
  46 #define FB_THIRD(a, b, ...) __VA_ARGS__
  47 #endif
  48
  49 /**
  50  * Helper macro that extracts the first argument out of a list of any
  51  * number of arguments.
  52  */
  53 #define FB_ARG_1(a, ...) a
  54
  55 /**
  56  * Helper macro that extracts the second argument out of a list of any
  57  * number of arguments. If only one argument is given, it returns
  58  * that.
  59  */
  60 #define FB_ARG_2_OR_1(...) FB_ARG_2_OR_1_IMPL(__VA_ARGS__, __VA_ARGS__)
  61 // Support macro for the above
  62 #define FB_ARG_2_OR_1_IMPL(a, b, ...) b
  63
  64 /**
  65  * Helper macro that provides a way to pass argument with commas in it to
  66  * some other macro whose syntax doesn't allow using extra parentheses.
  67  * Example:
  68  *
  69  *   #define MACRO(type, name) type name
  70  *   MACRO(FB_SINGLE_ARG(std::pair<size_t, size_t>), x);
  71  *
  72  */
  73 #define FB_SINGLE_ARG(...) __VA_ARGS__
  74
  75 /**
  76  * FB_ANONYMOUS_VARIABLE(str) introduces an identifier starting with
  77  * str and ending with a number that varies with the line.
  78  */
  79 #ifndef FB_ANONYMOUS_VARIABLE
  80 #define FB_CONCATENATE_IMPL(s1, s2) s1##s2
  81 #define FB_CONCATENATE(s1, s2) FB_CONCATENATE_IMPL(s1, s2)
  82 #ifdef __COUNTER__
  83 #define FB_ANONYMOUS_VARIABLE(str) FB_CONCATENATE(str, __COUNTER__)
  84 #else
  85 #define FB_ANONYMOUS_VARIABLE(str) FB_CONCATENATE(str, __LINE__)
  86 #endif
  87 #endif
  88
  89 /**
  90  * Use FB_STRINGIZE(x) when you'd want to do what #x does inside
  91  * another macro expansion.
  92  */
  93 #define FB_STRINGIZE(x) #x