C++编写程序，输入一个整数，判断它是否为素数。如果是素数，输出结论；（后面的部分选做） 如果不是素数，计算得出它的所有的质因数，并输出该数展开成质因数乘积的形式，如 12=2*2*3。 (使用循环结构进行计算，在循环设计中如何设置断言。)

在C++中，我们可以编写一个函数来判断一个整数是否为素数，然后根据结果输出相应的信息。下面是一个简单的示例：

#include <iostream>
#include <cmath> // 引入math库用于取整数平方根

bool is_prime(int n) {
    if (n <= 1) return false; // 素数定义大于1
    for (int i = 2; i * i <= n; i++) { // 只需检查到sqrt(n)，如果存在因子则不是素数
        if (n % i == 0) {
            return false;
        }
    }
    return true;
}

void factorize_and_output(int number) {
    if (is_prime(number)) {
        std::cout << number << " 是素数。\n";
    } else {
        std::cout << number << " 不是素数，其质因数分解为：";
        bool first_factor = true;
        for (int i = 2; i <= number; i++) {
            while (number % i == 0) {
                if (first_factor) {
                    first_factor = false;
                    std::cout << i;
                } else {
                    std::cout << "*" << i;
                }
                number /= i;
            }
        }
        std::cout << "。\n";
    }
}

int main() {
    int input;
    std::cout << "请输入一个整数：";
    std::cin >> input;

    try {
        factorize_and_output(input);
    } catch (const std::exception& e) {
        std::cerr << "错误：" << e.what() << '\n'; // 添加断言处理异常，防止非法输入导致程序崩溃
    }

    return 0;
}

在这个代码中，`factorize_and_output` 函数首先调用 `is_prime` 判断输入的数字是否为素数。如果非素数，则通过一个循环找到所有质因数并打印出来。在循环内，我们用 `while` 来确保一个质因数只被打印一次，避免了重复。

对于断言，这里我们简单地添加了一个异常处理部分，当输入不是合法的整数（例如负数或非整数值）时，会抛出异常并捕获，显示一个错误消息。这可以作为一种基本的循环条件检查，确保不会因为非法输入而进入无限循环。你可以根据需要增加更复杂的断言检查。