Получение некопируемого объекта из попытки

Если вы просто хотите завершить работу при возникновении исключения, вы можете использовать немедленно вызываемое лямбда-выражение для инициализации объекта. В качестве упрощенного примера:

#include<iostream>
#include<cmath>

struct ShaderProgram {
    ShaderProgram(const ShaderProgram&) = delete;
    ShaderProgram() {
        throw 1;
    }
};

int main(){


    ShaderProgram x = [](){
        try {
            return ShaderProgram{};
        } catch (...) {
            std::cout << "exception occured" << std::endl;
            std::terminate();
        }
    }();
}

Текущая демонстрация

Почему вы не используете try catch внутри самого конструктора? Блоки try catch следует применять как можно ближе к критическим точкам. Кроме того, ссылаться на, возможно, не полностью построенный this/objects, как правило, не очень хорошая идея и в большинстве случаев, по крайней мере, неопределенное поведение.

Обновление, так как вы разместили дополнительную информацию:

Со схемой unique_ptr + factory:

Предоставьте объект, который вы хотите создать, с помощью фабричного шаблона, который перенаправляет ему уникальный_ptr, чтобы он был безопасным для каждого контекста, в котором вы хотите его использовать, и вы не столкнетесь с непредвиденным поведением позже. Добавьте в конструктор ссылочный параметр, который отслеживает все возникшие проблемы, чтобы фабричный метод мог пересылать эту информацию. Возвращайте nullptr для ваших случаев ошибок, но всегда пересылайте полученные ошибки. Поскольку неудачная конструкция кажется допустимым сценарием для ваших случаев (продуктивного кода), совершенно справедливо предложить здесь специальную информацию об ошибке.

Решение без unique_ptrs:

Отложите критические части вашего конструктора на дополнительный приватный метод и примените там try catch. Затем отслеживайте правильность построения просто через неисправный бит/элемент. Это гарантирует достоверность вашего объекта на языковом уровне вашей проблемы, но имеет некоторые недостатки, поскольку пользователи могут забыть проверить состояние в зависимости от контекста использования. Некоторые части стандартных io-библиотек используют этот шаблон.

В любом случае, я предпочитаю решение unique_ptr.

Один из методов заключается в использовании общедоступной функции «инициализации» с аргументами, которые в настоящее время передаются конструктору. Создайте пустую «ShaderProgram» без аргументов за пределами блока try-catch и вызовите для нее «init» внутри блока с аргументами.

public:
    ShaderProgram();
    ~ShaderProgram();
    // ! Might throw exception !
    int init(const std::string &vertexShaderPath, const std::string &fragmentShaderPath);