供语言机制调用的函数不符合要求

如 replacement functions 或 handler functions 不符合要求（required behavior），会导致未定义的行为。

示例：

struct T {
    void* operator new(size_t) {  // A replacement function
        return nullptr;           // Undefined behavior
    }
};

标准要求 operator new 返回非空地址，分配失败则抛出 bad_alloc 异常（见 ISO/IEC 14882:2011 18.6.1.1），否则导致未定义的行为。

又如：

void my_handler() {  // A handler function
    return;          // Do nothing
}

int main() {
    set_terminate(my_handler);   // Undefined behavior
    ....
}

标准要求 terminate handler 结束进程的执行，不可返回至调用方（见 ISO/IEC 14882:2011 18.8.3.1），否则导致未定义的行为。