对乱序整数序列，先用快速排序按非减序排列，再进行二分查找，查找某个元素是否存在，若存在返回匹配的第一个下标位置（从0开始），不存在返回-1。根据题意写代码

以下是使用 Python3 实现的代码：

def quick_sort(nums):
    if len(nums) <= 1:
        return nums
    pivot = nums[0]
    left, right = [], []
    for num in nums[1:]:
        if num < pivot:
            left.append(num)
        else:
            right.append(num)
    return quick_sort(left) + [pivot] + quick_sort(right)

def binary_search(nums, target):
    left, right = 0, len(nums) - 1
    while left <= right:
        mid = (left + right) // 2
        if nums[mid] == target:
            while mid > 0 and nums[mid - 1] == target:
                mid -= 1
            return mid
        elif nums[mid] < target:
            left = mid + 1
        else:
            right = mid - 1
    return -1

def find_first_index(nums, target):
    sorted_nums = quick_sort(nums)
    return binary_search(sorted_nums, target)

# 测试
nums = [3, 1, 4, 2, 5, 7, 6, 8]
target = 5
print(find_first_index(nums, target))  # 输出：4

首先，我们定义了一个 `quick_sort()` 函数来对乱序整数序列进行快速排序，这里用到了递归的思想，将序列分成左右两部分，然后将左右两部分分别进行排序，最后再将排好序的左右两部分和枢轴元素合并起来。这里我们用第一个元素作为枢轴元素。

接下来，我们定义了一个 `binary_search()` 函数来进行二分查找，这里用到了循环的思想，将待查找区间不断缩小，直到找到目标元素。如果找到了目标元素，我们再向左遍历，找到匹配的第一个位置，然后返回该位置；如果没有找到目标元素，我们返回 -1。

最后，我们定义了一个 `find_first_index()` 函数来实现题目要求，它首先对乱序整数序列进行快速排序，然后再使用二分查找来查找目标元素，并返回匹配的第一个位置。

在测试中，我们传入一个乱序整数序列和一个目标元素，然后调用 `find_first_index()` 函数来查找目标元素的匹配位置，并打印输出。