5

对于将其标记为重复的人：不是；另一个问题解决enum了作为编译时常量的 s。这不是一个恒定的积分表达式，因此解决方案将非常不同。在建议已经在另一个问题中回答之前，请更仔细地查看我的代码，因为它没有以任何方式。我正在检查对象上成员变量的值，在运行时创建的信息，我很好奇在这种情况下我能用它做什么。

如果我的 API 的用户做了她不应该做的事情，我需要使用一些东西来使编译器失败。

我不知道这是否可能，是吗？我上面提到的选项主要是运行时的，对吧？

例如，假设您有一个函数：

   void doSomethingIncredible(AwesomeClass amazingObject)
    {
     //perform life-changing work here except:
     if (amazingObject.isntAmazing) //a bool property of object
        //uh oh, life sucks, I refuse to compile this

现在调用这个函数将在各个方面改变你的生活方式，除了amazingObject打开特定属性的情况，例如，在这种情况下，我希望编译器甚至不允许它通过，即无法运行程序。

函数体中的某处是一个强制编译失败的 c++ 机制，它会提醒用户你不能将这个函数用于这样一个低级的、不起眼的对象。

这可能吗？

为了澄清，这是我想根据变量的内容进行编译时的事情，如我上面的示例所示。使用的建议static_assert不适用于此处。

4

3 回答 3

17

您可以static_assert()在编译时设置条件 (C++11)

static_assert(false, "Hey user! You suck!");

或使用

#if (some_erroneous_condition_to_be_avoided)
#error "Hey user! You suck!"
#endif

如果您有 GNU 兼容的编译器（g++,clang++等）

于 2013-05-12T05:32:57.087 回答
3

我能看到检查编译时间的唯一方法是子类AwesomeClass化并将新类的创建限制为只能创建amazingObject.isntAmazing永远不正确的对象。然后将签名更改为；

void doSomethingIncredible(AwesomeAndAmazingClass amazingObject)

这将阻止调用那些非常棒但并不令人惊叹的对象的方法。

作为一个可能更具说明性的示例（未编译，因此请考虑伪代码）；

class Thing {
  protected: 
    Color _color;
    Shape _shape;
  public:
    Thing(Color color, Shape shape) {
      _color=color; _shape=shape;
    }
}

class GreenThing : Thing {
  public:
    GreenThing(Shape shape) : Thing(Color.Green, shape) {}
}

void doSomethingIncredible(GreenThing specialThing)
{
  // specialThing here is still a Thing, but also compile time
  // checked to also always be a GreenThing
}
于 2013-05-12T05:59:56.553 回答
1

是不可能的。变量的值是在运行时决定的，但是您想根据运行时的值抛出编译时错误。

于 2017-06-12T07:49:16.490 回答