自学教程：C++ throw_if_disposed函数代码示例

void GL1TextureProvider::copy_image_from(    int x,    int y,    int width,    int height,    int level,    TextureFormat texture_format,    GraphicContextProvider *gc){    throw_if_disposed();    OpenGL::set_active(static_cast<GL1GraphicContextProvider*>(gc));    GL1TextureStateTracker state_tracker(texture_type, handle);    GLint gl_internal_format;    GLenum gl_pixel_format;    to_opengl_textureformat(texture_format, gl_internal_format, gl_pixel_format);    glCopyTexImage2D(        GL_TEXTURE_2D,        level,        gl_internal_format,        x, y,        width, height,        0);}

void GL3ProgramObjectProvider::set_storage_buffer_index(int buffer_index, int bind_unit_index){	throw_if_disposed();	if (buffer_index == -1 )		return;	glShaderStorageBlockBinding(handle, buffer_index, bind_unit_index);}

void CL_OpenGLProgramObjectProvider::attach(const CL_ShaderObject &obj){    throw_if_disposed();    shaders.push_back(obj);    CL_OpenGL::set_active();    glAttachShader(handle, (GLuint) obj.get_handle());}

bool CL_InputDeviceProvider_DirectInput::poll(bool peek_only){	throw_if_disposed();	// peek_only is not supported, as WM_INPUT is used as the event trigger	update();	return false;}

void InputContext_Impl::add_tablet(InputDevice &tablet){	throw_if_disposed();	std::unique_lock<std::recursive_mutex> mutex_lock(mutex);	tablets.push_back(tablet);	tablet.impl->input_contexts.push_back(input_context);}

CL_String CL_InputDeviceProvider_Win32Keyboard::get_key_name(int virtual_key) const{	throw_if_disposed();	TCHAR name[1024];	UINT scancode = MapVirtualKey(virtual_key, 0);	int length = GetKeyNameText(scancode << 16, name, 1024);	return CL_String(name, length);}