c++ - static_assert 意外行为

Question

我的类有一个重载operator&，如果参数是指针，我会在其中执行静态断言。

class test {
public:

  template<typename T>
  friend inline test& operator&(test& so, T const& t) {
    std::cout << "is_pointer : " << std::is_pointer<T>::value << std::endl;
    static_assert(std::is_pointer<T>::value, "no operator overloaded for pointers.");
    
    // some stuff
  }
};

如果我使用此运算符，即使类型绝对不是指针，我也总是会得到断言。std::cout << "is_pointer : " << std::is_pointer<T>::value << std::endl;正在打印零...

int main() {
  test t;
  t & 123;
  return 0;
}

例子。

Answer 1

当然，断言失败了。您要求类型T是指针，但T这里是int.

也许您的意思是以下？

// Ensure that `T` is not a pointer
static_assert(!std::is_pointer<T>::value, "no operator overloaded for pointers");

断言是确保特定条件的语句。这不完全是“如果 X 则输出错误消息 Y”；事实上，情况恰恰相反。:)

Answer 2

您断言传递的类型是指针。如果您传递的不是指针，则会static_assert()失败并且您会收到一条消息。看来，您想精确否定条件，因为您不想使用指针：

static_assert(!std::is_pointer<T>::value, "no operator overloaded for pointers.");

Answer 3

听起来您希望它在且仅当T 不是指针时才能编译。在您的原始表达式中，您断言这T 是一个指针。

基本上，static_assert意思是“我的第一个参数最好是真实的，否则我会在编译时抱怨第二个参数作为错误消息。”

你似乎想要什么：

class test {
public:

  template<typename T>
  friend inline test& operator&(test& so, T const& t) {
    static_assert(! std::is_pointer<T>::value, "no operator overloaded for pointers.");

    // some stuff
  }
};