使用宏来重载三元运算符的某些用途？：

Question

（后续过载三元？：运算符，或更改为包含文件中的{} else {} 。）

上下文

研究项目在这里。 在我的C ++库中，我使用#include "aprogram.c"包含C文件，我通过重载（几乎）所有运算符来执行符号。

我必须能够检测到(condition) ? this : that (condition) ? this : that和提取condition ， this和that用于我的符号执行库，用于以下情况：

(a >= 0) ? a : -a
(a >= b) ? a : b

概念性问题

因为我不能在C ++中重载三元？：运算符，并且只需要对上述情况起作用，我不能通过使用宏来重载它们：

#define TO_NEG(a) ((a >= 0) ? a : -a)
#define MAX(a,b)  ((a >= b) ? a : b)

并实现TO_NEG（a）和MAX（a，b）？

编辑：澄清

有了这个，我想实现我的库

1. 检测？：在两种情况下
2. 将其转换为TO_NEG或MAX
3. 使用我为TO_NEG和MAX编写的新代码

Answer 1

假设你的运算符> =产生一个MyBool类型，我想你几乎可以得到：

#define ? .ternary(
#define : )||

template <typename T>
T MyBool::ternary(T val) { 
  if (m_isTrue) return val;
  return T(0)
}

有几点需要注意：

1. 如果a为0且b为负，则对于a>=b不起作用。
2. 这是一个可怕的可怕的黑客，将在许多边缘案件中打破。
3. 你实际上不能使用:作为#define的符号 ，所以你必须使用其他方法来替换它们，此时你应该使用类似@ raxvan的答案

Answer 2

你可以定义一些将取代? c源文件中的运算符。

你最接近的事情是：

#define QUESTION_OPERATOR(COND,THIS,THAT) ((COND) ? (THIS) : (THAT))
//here you can do custom validations to all the parts if you want

用法：

(cond) ? (This) : (That) //you need to replace this with:
QUESTION_OPERATOR(cond,This,That)

Answer 3

是的，您可以在宏中使用三元运算符，但它们必须正确括号：

#define TO_NEG(a) (a >= 0) ? (a) : -(a)
#define MAX(a,b)  (a >= b) ? (a) : (b)