如何获取cl::Device的数字设备ID？

#include <CL/cl.hpp>
#include <iostream>

int main() {
    // 获取可用的OpenCL平台
    std::vector<cl::Platform> platforms;
    cl::Platform::get(&platforms);

    // 获取平台上的所有设备
    std::vector<cl::Device> devices;
    platforms[0].getDevices(CL_DEVICE_TYPE_ALL, &devices);

    // 遍历设备列表
    for (int i = 0; i < devices.size(); i++) {
        cl::Device device = devices[i];

        // 获取设备的唯一标识符，即设备ID
        cl_uint deviceID;
        device.getInfo(CL_DEVICE_VENDOR_ID, &deviceID);

        std::cout << "Device ID: " << deviceID << std::endl;
    }

    return 0;
}