Java 生成一个符合要求的 12 位随机字符串： 字符串以字母开头，字母占 4 位，且全部大写。 剩余的 8 位全部是数字。 确保生成的字符串不会重复。

在Java中，生成一个符合要求的12位随机字符串可以分为以下几个步骤：

1. 首先，创建一个包含大写字母A到Z的字符数组，以及一个包含0到9的数字数组。
2. 使用`Random`类生成随机索引，从这两个数组中分别取出字符。
3. 创建一个循环，直到生成的字符串长度达到12位，并确保字符串的首字符是字母，其余是数字。
4. 如果生成的字符串长度等于12且没有重复，跳出循环；否则继续生成新的字符串。

下面是一个示例代码片段来实现这个功能：

import java.util.ArrayList;
import java.util.Random;

public class RandomStringGenerator {
    private static final String ALPHABET_UPPER = "ABCDEFGHIJKLMNOPQRSTUVWXYZ";
    private static final String NUMBER_STRING = "0123456789";

    public static void main(String[] args) {
        String randomString = generateRandomString(12);
        System.out.println(randomString);
    }

    public static String generateRandomString(int length) {
        ArrayList<Character> characters = new ArrayList<>();
        StringBuilder sb = new StringBuilder();

        // Ensure the first character is an uppercase letter
        characters.add(ALPHABET_UPPER.charAt((int) (Math.random() * ALPHABET_UPPER.length())));

        for (int i = 1; i < length; i++) {
            if (i == 4) { // Insert digit after 4th position
                characters.add(NUMBER_STRING.charAt((int) (Math.random() * NUMBER_STRING.length())));
            } else {
                characters.add(ALPHABET_UPPER.charAt((int) (Math.random() * ALPHABET_UPPER.length())));
            }
        }

        // Shuffle the characters to ensure randomness
        Collections.shuffle(characters);

        // Convert characters to string and check for duplicates
        while (!isValidString(sb.append(characters).toString())) {
            Collections.shuffle(characters);
        }

        return sb.toString();
    }

    private static boolean isValidString(String s) {
        // Check that no consecutive digits exist and that string has unique characters
        int prevCharIsDigit = -1;
        for (char c : s.toCharArray()) {
            if (Character.isDigit(c)) {
                if (prevCharIsDigit != -1 && c - '0' == prevCharIsDigit) {
                    return false;
                }
                prevCharIsDigit = c - '0';
            } else {
                prevCharIsDigit = -1;
            }
        }
        return true;
    }
}