c++ nullを比較するoperatorを作りたい。if(c != null){}をやりたい

Question

提示コードの **bool operator != (nullptr_t)**ですがもしnullじゃなかったらという処理はどうやって作ればいいのでしょうか？ ちなみにoperatorです。

#include <iostream>
#include "stdio.h"
#include "conio.h"
#include <optional>

class c{
public:
    int x;
    int y;

    c(int xx,int yy)
    {
        x = xx;
        y = yy;
    }

    bool operator == (c& t)
    {
        if(x == t.x && y == t.y)
        {
            return true;
        }else
        {
            return false;
        }
    }

    /**/
    bool operator != (nullptr_t)
    {
        if(this == nullptr_t)/////
        {

        }

    }



};

int main()
{
    c a(1,0),b(0,0);

    if(a == b)
    {
        printf("true");
    }else
    {
        printf("false");

    }






    int _ch = _getch();
    return 0;
}

Comments

[maisumakun]

「if(c != null)」という判定がfalseとなることは想定されるのでしょうか？

[退会済みユーザー]

はい。そもそも構文エラーになるので困っています。どうすればポインタ変数 != nullといった条件を作成できるのでしょうか？

[maisumakun]

ポインタであればそのまま書けます。

c* p = /* 初期化 */; if(p != null)

Answer 1

c型のインスタンスに関して，どのような状態を，
「nullだ」とか「nullじゃない」という言い方(?)というか表現としたいのか，に合わせて判定を行えば良いのではないかと思います．

class c
{
public:
    c( int val ) : m_val(val) {}

    //c型の状態に関して，
    //何を持って「nullptrと等しい/等しくない」という話にしたいのか？
    //というのに合わせて，oprator==()の中身に適切な判定を書けばよいと思う．
    //  この例では，m_valの値が100であるときに「nullptrと等しい」と判定される
    bool operator==(nullptr_t) const {  return m_val == 100;    }
    bool operator!=(nullptr_t) const {  return !operator==(nullptr);    }

private:
    int m_val;
};

ただ，このオペレータを使う側のコード（インスタンスとnullptrを比較するという記述）が，たいそう不自然な雰囲気を放つ気がするので…

c inst(100);
if( inst == nullptr )  //この記述見たら「！？」ってなる
{
  std::cout << "おキャット様\n";
}

個人的には，(やりたいこと次第でしょうけども) operator bool()とかの方がまだ良いのではなかろうか，とか思います．

Comments

[yumetodo]

横道それますがoperator boolよりはecplicit operator boolに・・・

[fana]

explicitをコンストラクタでないものに対して書く/書かない　の差がわかっていない私であります．

[yumetodo]

型変換演算子へのexplicit指定は暗黙変換されるかどうかに関わります。
https://cpprefjp.github.io/lang/cpp11/explicit_conversion_operator.html
ただしecplicit operator boolを持つクラス型は文脈上boolに変換可能な場所で暗黙変換されます。
https://cpplover.blogspot.com/2015/09/ccontextually-converted-to-bool.html

Answer 2

こんにちは。

if(this == nullptr)で良いです。「nullptrはnullptr_t型」です。「0はint型です」と同じ表現です。

Comments

[fana]

//実質意味がない判定であるような…？
if( this == nullptr ){ ここにくる記述って書けるのだろうか？ }

[Chironian]

あ、その通りですね。

[katsuko]

一応、「C *c=nullptr; *c != nullptr;」で呼び出せますね。いいか悪いかは知りませんが。

[yohhoy]

C++言語では、this は絶対にヌルポインタにはなりません。
つまり条件式 this == nullptr は常に false と判定され、コンパイラの最適化により if-then分岐側のコードは丸ごと削除される可能性があります。
（GCCとLLVM/Clangは実際にこのような最適化を行います）

> C *c=nullptr; *c != nullptr;
このコードは未定の義動作となります。プログラムがどように実行されるかは予測できません。