コードスタイル - 可能性のある値に対して整数を検証する方法を教えてください。

Question

私はオブジェクト指向の方法で使用できるように、OpenGLの周りに小さなラッパーを作成しています。私はバッファと呼ばれるクラスを作成しました。そのコンストラクタでは、GLenum型の多くに対して渡されたバッファの型を検証したいと思います。ここで、コードの関連部分である：

​​

このコードでは、switchステートメントが適切な値に、ステップ、およびそれがswitchステートメントから破断するまで、他の有効な値を通過します。他のすべての値はdefault節に入り、例外がスローされます。私は、しかし、またifステートメントを使用することができます

if (type != GL_ARRAY_BUFFER && 
    type != GL_ATOMIC_COUNTER_BUFFER && 
    type != GL_COPY_READ_BUFFER && 
    type != GL_COPY_WRITE_BUFFER && 
    // *** Lots more valid values here... *** 
    ) { 
     throw std::logic_error("Invalid GLenum 'type' in Buffer constructor."); 
    } 

    // ... 
} 

しかし、これはtype !=の繰り返しの多くを使用しており、必ずしも明確ではありません。 コードの明瞭度との速度のために、これを行う際に受け入れられた規則がありますか？私の入力をまったく検証しなければならないのですか？そうしないと、未定義の動作が起こる可能性がありますか？

Answer 1

多くの値がある場合、私はstd::setを使用します。

static std::set<int> invalidValues = 
    { GL_ARRAY_BUFFER 
    , GL_ATOMIC_COUNTER_BUFFER 
    , GL_COPY_READ_BUFFER 
    , GL_COPY_WRITE_BUFFER   
    // ... 
    }; 

if(invalidValues.find(type) != invalidValues.end()) { 
    throw std::logic_error("Invalid GLenum 'type' in Buffer constructor."); 
} 

これは、速度と読みやすくするために役立つだろう。

入力を完全に検証する必要がありますか？そうしないと、定義されていない動作が発生する可能性がありますか？

あなたはあなたのプログラムに未定義の動作をしたいことはありません。あなたは、これが例外（クラッシュ）などを引き起こすことに頼ることはできません。